Similar repositories to konn/lk-proof-assistant:
konn/lk-proof-assistant
github
similar
gibiansky/IHaskell
github
similar
msakai/ltg
github
similar
msakai/haskell-hyperset
github
similar
msakai/haskell-glpk
github
similar
msakai/haskell-optdir
github
similar
msakai/icfpc2012
github
similar
msakai/folkung
github
similar
DanielSchuessler/logic-TPTP
github
similar
kowainik/toml-benchmarks
github
similar
momohatt/egison-trs
github
similar
Shimuuar/type-level-numbers
github
similar
tomahawkins/afv
github
similar
msakai/ptq
github
similar
atzedijkstra/chr
github
similar
yav/smtLib
github
similar
momohatt/hscaml
github
similar
nick8325/equinox
github
similar
abailly/hs-word2vec
github
similar
walkie/Hagl
github
similar
conal/vector-space
github
similar
maoe/influxdb-haskell
github
similar
ekmett/ersatz
github
similar
msakai/cpl
github
similar
utdemir/ghc-musl
github
similar
knupfer/type-of-html
github
similar
msakai/toysolver
github
similar
LeventErkok/sbv
github
similar
vprover/vampire
github
similar
aquarial/discord-haskell
github
similar
digama0/mm0
github
similar
lotz84/haskell
github
similar
tamarin-prover/tamarin-prover
github
similar
owickstrom/gi-gtk-declarative
github
similar
tweag/monad-bayes
github
similar
HeinrichApfelmus/threepenny-gui
github
similar
letsencrypt/pebble
github
similar
GaloisInc/crucible
github
similar
UnkindPartition/tasty
github
similar
ndmitchell/shake
github
similar