RiscInside/ProofVerifier

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
Created about 3 years ago
Updated about 3 years ago

RiscInside/ProofVerifier

RiscInside

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell

LanguageEtudes

Components of programming languages, all implemented in self-contained files

lang2

Lang was so good they made lang2

theo

Probably worse than javascript

WACC-to-C

WACC to C transpiler

bootstrap-snapfuzz

Scripts for building snapfuzz