Similar repositories to fu-dietersheim/hol-falso:

• fu-dietersheim/hol-falso github similar
• JacquesCarette/GenCheck github similar
• nunchaku-inria/nunchaku github similar
• nominolo/lambdachine github similar
• haskell-fswatch/hfsnotify github similar
• RedPRL/sml-redprl github similar
• UniMath/Foundations github similar
• idris-hackers/idris-mode github similar
• fpco/mezzohaskell github similar
• liamoc/learn-you-an-agda github similar
• jepst/CloudHaskell github similar
• HoTT/HoTT-Agda github similar
• haskell/haskell-platform github similar
• seL4/l4v github similar
• agda/agda-stdlib github similar
• michaelt/martin-lof github similar
• hspec/hspec github similar
• UniMath/UniMath github similar
• haskell/cabal github similar
• tibbe/haskell-style-guide github similar
• chrisdone/intero github similar
• GaloisInc/HaLVM github similar
• clash-lang/clash-compiler github similar
• leanprover/lean github similar
• ekmett/lens github similar
• agda/agda github similar
• jameysharp/corrode github similar
• idris-lang/Idris-dev github similar
• browserhtml/browserhtml github similar
• commercialhaskell/stack github similar
• i-tu/Hasklig github similar
• jonls/redshift github similar
• Z3Prover/z3 github similar
• magicmonty/bash-git-prompt github similar
• sameersbn/docker-gitlab github similar
• vladikoff/chromeos-apk github similar
• dnschneid/crouton github similar
• rtyley/bfg-repo-cleaner github similar
• apenwarr/sshuttle github similar
• NixOS/nixpkgs github similar