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