Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Programming and Proving in Agda [pdf] (github.com/jespercockx)
4 points
todsacerdoti
4 years ago
discuss