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