Popular repositories

1. toyprover Public

   A toy LCF-style prover

   OCaml 1

2. camkes-arm-vm-crossvm-printserver Public

   ARM cross vm communications app.

   CMake 1

3. fv-abella-reasoning Public

   Various results about free variables in a simple language using Abella.

   AMPL

4. nca Public

   An experiment in using nominal constants as addresses.

   Standard ML

5. autocorresexperiments Public

   Miscellaneous experiments with NICTA's AutoCorres tool.

   Isabelle

6. chaosape.github.com Public

   SCSS