agda
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Programming and Proving in Agda |
![]() ![]() |
0 | 636 | 26 October 2022 |
What are the 'coolest' languages and tech right now? |
![]() ![]() ![]() ![]() ![]() |
49 | 3672 | 29 July 2021 |
Program = Proof (PDF) |
![]() ![]() |
0 | 1135 | 16 February 2021 |