Popular repositories Loading

1. gentle-isabelle gentle-isabelle Public

   A gentle introduction to Isabelle and Isabelle/HOL

   Isabelle 13 2

2. cogent cogent Public

   Forked from au-ts/cogent

   Proof-Code Cogeneration

   Isabelle

3. gencot gencot Public

   Tool for partial translation from C to Cogent (https://github.com/NICTA/cogent)

   Haskell