Popular repositories Loading

1. Uniswap_v Uniswap_v Public

   Isabelle 10

2. phi-system phi-system Public

   Isabelle 6

3. Isa-Proof-Shell Isa-Proof-Shell Public

   A proof assistant adapter designed for machine learning

   5

4. CrystalGrow CrystalGrow Public

   Just a interest program.

   C# 3 1

5. bridge.cr bridge.cr Public

   [WIP] A cross-protocol and cross-serialization RPC framework, designed for easiness, simpleness and performance.

   Crystal 3

6. auto_sledgehammer auto_sledgehammer Public

   This Isabelle session provides a smart tactic that wraps Sledgehammer

   Standard ML 3