agda
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Programming and Proving in Agda |
|
1 | 488 | 26 October 2022 |
| What are the 'coolest' languages and tech right now? |
|
49 | 3397 | 29 July 2021 |
| Program = Proof (PDF) |
|
1 | 1004 | 16 February 2021 |