|We couldn't find any libraries for the selected period|
Popular Agda Topics
Latest mentioned Agda repos
Recently updated posts
- How far can I automate?
- What are some examples of non-trivial proofs written in Agda that I might read?
"I code as a hobby!" — Ryan Orendorff
1 project | dev.to
- Decidable Equality in Agda with less than n^2 cases and computational scale
Homotopy Type Theory
3 projects | news.ycombinator.com
99remotejobs.comFind remote jobs at our new job board 99remotejobs.com. There are 33 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.