Discover your Favorite Language
Awesome repositories
Rankings by Country
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
presentations
theorem-proving-template
proof-combinators
thesis
verified_string_matching
liquid-meta
liquidhaskell-course
fopss2023
haskell-course
OOPSLA18-artifact
Data.Equations
RTick
club_de_science
prover
CMSC498V
propositional-equality
tic-tac-toe
cse105Fa14
presentation-hopa13
thesis_proposal
LiquidHOL
Love Open Source and this site? Check out how you can help us