Similar repositories to stanescuUW/LeanPuzzles:

• stanescuUW/LeanPuzzles github similar
• NeilStrickland/lean_primes 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
• alashworth/sf-lean github similar
• styzystyzy/Axiomatic_Set_Theory github similar
• avigad/lamr github similar
• noschinl/cyp github similar
• haskellari/lattices github similar
• slasser/vermillion github similar
• TOTBWF/tactic-haskell github similar
• salmans/rusty-razor github similar
• alhassy/CatsCheatSheet github similar
• konn/computational-algebra 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
• LeventErkok/sbv github similar
• lukaszcz/coqhammer github similar
• kbuzzard/xena github similar
• williamdemeo/TypeFunc github similar
• nick8325/quickspec github similar
• DSLsofMath/DSLsofMath github similar
• EgbertRijke/HoTT-Intro github similar
• ivanperez-keera/Yampa github similar
• leanprover-community/lean github similar
• slovnicki/pLam github similar
• isovector/thinking-with-types github similar
• ProofGeneral/PG github similar
• thma/WhyHaskellMatters github similar
• i-am-tom/haskell-exercises github similar
• nick8325/quickcheck github similar