Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
proglangs / logical-foundations
Coq 0 0
Working through the book Logical Foundations by Ben Pierce
Updated 2020-10-21 22:16:31 +00:00