An exhaustive list of all Rust resources regarding automated or semi-aut...
Automatic code generation for Scala functions and expressions via the Cu...
a theorem prover for intuitionistic propositional logic in Idris, with m...