coln-project

Popular repositories Loading

1. Coln Coln Public

   A data-oriented proof assistant

   Rust 14 2

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

   XSLT 1

3. Coln-deps Coln-deps Public

   A flake containing dependencies needed to build Coln

   Nix