Similar repositories to NeilStrickland/lean_primes:

• NeilStrickland/lean_primes github similar
• stanescuUW/LeanPuzzles github similar
• gihanmarasingha/exleanblog github similar
• vbeffara/lean github similar
• kappelmann/engaging-large-scale-functional-programming github similar
• jalex-stark/lean-at-MC2020 github similar
• m4lvin/tablean github similar
• uds-psl/churchs-thesis-coq github similar
• gvolpe/types-matter github similar
• styzystyzy/Axiomatic_Set_Theory github similar
• alashworth/sf-lean github similar
• noschinl/cyp github similar
• danelahman/haskell-coop github similar
• avigad/lamr github similar
• haskellari/lattices github similar
• slasser/vermillion github similar
• salmans/rusty-razor github similar
• TOTBWF/tactic-haskell github similar
• alhassy/CatsCheatSheet github similar
• konn/computational-algebra github similar
• leanprover/vscode-lean github similar
• rudymatela/concise-cheat-sheets github similar
• Anton-Latukha/Fundamental-Haskell github similar
• mit-plv/kami github similar
• mavam/abstract-algebra-cheatsheet github similar
• liamoc/holbert github similar
• NICTA/cogent github similar
• martinescardo/HoTTEST-Summer-School github similar
• lukaszcz/coqhammer github similar
• kbuzzard/xena github similar
• williamdemeo/TypeFunc github similar
• LeventErkok/sbv github similar
• nick8325/quickspec github similar
• EgbertRijke/HoTT-Intro github similar
• leanprover-community/lean github similar
• jamesdbrock/learn-you-a-haskell-notebook github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• bollu/mathemagic github similar
• ivanperez-keera/Yampa github similar
• DSLsofMath/DSLsofMath github similar