Similar repositories to blanchette/logical_verification_2021:
blanchette/logical_verification_2021
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
gibiansky/IHaskell
github
similar
microsoft/visual-chatgpt
github
similar
facebookresearch/llama
github
similar
reasoning-machines/pal
github
similar
ggerganov/llama.cpp
github
similar
tuvtran/project-based-learning
github
similar
bellau/leelaz-toys
github
similar
user7230724/lean-projects4
github
similar
ericrbg/leanFAQ
github
similar
digama0/mm-web-rs
github
similar
VictorCMiraldo/msc-agda-tactics
github
similar
leanprover-community/mathlib3port
github
similar
coq-community/coq-performance-tests
github
similar
PatrickMassot/leanblueprint
github
similar
mariainesdff/ideles
github
similar
Julian/lftim
github
similar
larsk21/iris-lean
github
similar
elpinal/subtyping-agda
github
similar
sorear/smm
github
similar
leanprover-community/con-nf
github
similar
metaborg/mj.agda
github
similar
traveller42/michi-go
github
similar
leanprover-community/flt-regular
github
similar
mmasdeu/topologygame
github
similar
tpchina/tpchina.github.io
github
similar
pigworker/TypesWhoSayNi
github
similar
leanprover-community/doc-gen
github
similar
ATOMSLab/LeanChemicalTheories
github
similar
model-checking/cbmc-viewer
github
similar
coq-contribs/zfc
github
similar
leanprover/doc-gen4
github
similar
gergoerdi/clash-intel8080
github
similar
Trebor-Huang/ice1000
github
similar
arthuraa/agda-hoas-demo
github
similar
jasonrute/thoughts-on-ai-for-theorem-proving
github
similar
kangrongji/cubical-classics
github
similar
dannycalegari/kleinian
github
similar