Similar repositories to kappelmann/engaging-large-scale-functional-programming:
kappelmann/engaging-large-scale-functional-programming
github
similar
danistefanovic/build-your-own-x
github
similar
tuvtran/project-based-learning
github
similar
vbeffara/lean
github
similar
m4lvin/tablean
github
similar
stanescuUW/LeanPuzzles
github
similar
J-AugustoManzano/hope_exercicios
github
similar
NeilStrickland/lean_primes
github
similar
gihanmarasingha/exleanblog
github
similar
jalex-stark/lean-at-MC2020
github
similar
alashworth/sf-lean
github
similar
uds-psl/churchs-thesis-coq
github
similar
crabbo-rave/Soup
github
similar
gvolpe/types-matter
github
similar
mirefek/geo_logic
github
similar
styzystyzy/Axiomatic_Set_Theory
github
similar
google/formal-ml
github
similar
Chaaaos/formaltt
github
similar
avigad/lamr
github
similar
tel/scala-typeclassopedia
github
similar
leanprover/LeanInk
github
similar
mhuisi/lean4-cli
github
similar
GaloisInc/lean4-balance-car
github
similar
haskellari/lattices
github
similar
PatrickMassot/lean-verbose
github
similar
slasser/vermillion
github
similar
leanprover-community/format_lean
github
similar
haskellfoundation/HaskellSchool
github
similar
ImperialCollegeLondon/M4P33
github
similar
JamesIry/jADT
github
similar
salmans/rusty-razor
github
similar
TOTBWF/tactic-haskell
github
similar
ImperialCollegeLondon/group-theory-game
github
similar
leanprover-community/lftcm2020
github
similar
ImperialCollegeLondon/formalising-mathematics-2022
github
similar
WasmCert/WasmCert-Coq
github
similar
samuelgruetter/dot-calculus
github
similar
AU-COBRA/ConCert
github
similar
alhassy/CatsCheatSheet
github
similar
pepeiborra/hls-tutorial
github
similar