coln-project

Popular repositories Loading

1. Coln Coln Public

   A data-oriented proof assistant

   Rust 13 2

2. coln-project.github.io coln-project.github.io Public

   XSLT 1

3. Coln-shell Coln-shell Public

   A nix shell with all dependencies needed to build Coln