Similar repositories to UniFormal/Proofs:

• UniFormal/Proofs github similar
• gibiansky/IHaskell github similar
• UniFormal/implicit github similar
• UniFormal/TGView github similar
• UniFormal/uniformal.github.io github similar
• VivianePons/public-notebooks github similar
• ziman/idris-bytes github similar
• trillioneyes/idris-pong github similar
• miniKanren/sokuza-kanren github similar
• mit-frap/spring17 github similar
• sagemath/publications github similar
• UniFormal/MMT github similar
• opendata-for-all/APIDiscoverer github similar
• florian-rabe/Teaching github similar
• Mathics3/mathicsscript github similar
• Deducteam/Logipedia github similar
• OpenDreamKit/OpenDreamKit github similar
• coq-concurrency/pluto github similar
• isovector/algebra-driven-design github similar
• coq/opam-coq-archive github similar
• idris-hackers/IdrisWeb github similar
• Ptival/PeaCoq github similar
• puffnfresh/iridium github similar
• ezyang/logitext github similar
• coq-community/math-classes github similar
• formalabstracts/formalabstracts github similar
• timjb/quantities github similar
• idris-hackers/idris-koans github similar
• Deducteam/Dedukti github similar
• MaiaVictor/Cedille-Core github similar
• lenary/idris-erlang github similar
• mit-plv/bedrock2 github similar
• kbuzzard/xena github similar
• wilbowma/cur github similar
• LMFDB/lmfdb github similar
• microsoft/Ironclad github similar
• project-everest/vale github similar
• MaiaVictor/abstract-algorithm github similar
• nick8325/quickspec github similar
• ziman/lightyear github similar