|1||42||Where my everyday research happens|
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 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.