Similar repositories to jonsterling/lean4-sgdt:
jonsterling/lean4-sgdt
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
plt-hokusai/ahc
github
similar
bitmappergit/Prelude
github
similar
gibiansky/IHaskell
github
similar
k6io/k6
github
similar
raptazure/kweh
github
similar
meilisearch/MeiliSearch
github
similar
bedrocksystems/cpp2v
github
similar
silvanshade/cool-tt
github
similar
kckennylau/mathlib4
github
similar
yizhouzhang/olaf-coq
github
similar
groupoid/anders
github
similar
CoqHott/DICoq
github
similar
thautwarm/typed-jsonrpc
github
similar
jonsterling/guarded-theories
github
similar
JacquesCarette/agda-algebras
github
similar
laMudri/generic-lr
github
similar
Kixiron/lsw
github
similar
elpinal/subtyping-agda
github
similar
RedPRL/algaett
github
similar
eduardoleon/typhoon
github
similar
Chaaaos/formaltt
github
similar
JLimperg/msc-thesis-code
github
similar
mmcqd/fibertt
github
similar
amblafont/UniversalII
github
similar
RobertHarper/nsml
github
similar
Zekt/Type-Embellishment
github
similar
jonsterling/agda-stc
github
similar
AliasQli/tactics
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
lambdageek/emile
github
similar
ollef/incrementalism
github
similar
tynril/torus-flock
github
similar
MetaBorgCube/oopsla18-artifact
github
similar
andrejtokarcik/agda-semantics
github
similar
ancientlanguage/agda-grammar
github
similar
discus-lang/salt-vscode
github
similar
LightAndLight/como
github
similar