Similar repositories to plfa/plfl:
plfa/plfl
github
similar
tuvtran/project-based-learning
github
similar
hecrj/iced
github
similar
yatima-inc/LSpec
github
similar
TOTBWF/lean4-raytrace
github
similar
leanprover-community/doc-gen
github
similar
tydeu/lean4-alloy
github
similar
leanprover/doc-gen4
github
similar
leanprover-community/mathport
github
similar
leanprover/LeanInk
github
similar
ImperialCollegeLondon/complex-number-game
github
similar
mhuisi/lean4-cli
github
similar
GaloisInc/lean4-balance-car
github
similar
mpedramfar/Lean-game-maker
github
similar
leanprover/lake
github
similar
TwoFX/sudoku
github
similar
ImperialCollegeLondon/group-theory-game
github
similar
leanprover/theorem_proving_in_lean4
github
similar
arthurpaulino/lean4-metaprogramming-book
github
similar
tusikalanse/magic-in-ten-mins-cpp
github
similar
jldodds/coq-lean-cheatsheet
github
similar
ImperialCollegeLondon/real-number-game
github
similar
dbrgn/embedded-hal-mock
github
similar
digama0/lean-type-theory
github
similar
lecopivo/SciLean
github
similar
aya-prover/aya-dev
github
similar
kmill/lean4-raytracer
github
similar
project-oak/silveroak
github
similar
leanprover-community/mathlib4
github
similar
Lakr233/ActionBee
github
similar
cicada-lang/cicada
github
similar
ImperialCollegeLondon/M40001_lean
github
similar
ice1000/Books
github
similar
GeoCoq/GeoCoq
github
similar
Agda-zh/PLFA-zh
github
similar
cpitclaudel/alectryon
github
similar
ImperialCollegeLondon/natural_number_game
github
similar
rust-lang/docker-rust
github
similar
Kha/electrolysis
github
similar
yaahc/displaydoc
github
similar