Popular repositories Loading

1. QuantumHoareLogic QuantumHoareLogic Public

   Implentation of a Hoare-logic verification system for quantum programs embedded in Coq

   Coq 1

2. PROPTheoremProver PROPTheoremProver Public

   A Theorem Prover for Propositional Logic

   Java

3. LtacGeneticProgramming LtacGeneticProgramming Public

   Uses genetic algorithms to write proofs of theorems in Coq

   Java

4. isometric isometric Public

   Quantum programming language to encode isometric quantum channels

   OCaml

5. contextualized-carbon contextualized-carbon Public

   TypeScript 1

6. craigf-io craigf-io Public

   CSS