Popular repositories Loading

1. Isa-Mini Isa-Mini Public

   A minimal language for Isabelle/HOL, designed for easing machine learning.

   Standard ML 24

2. Uniswap_v Uniswap_v Public

   Isabelle 10

3. phi-system phi-system Public

   Isabelle 9

4. Isa-REPL Isa-REPL Public

   Isabelle REPL

   Standard ML 7

5. MLML MLML Public

   Machine Leanring for Mini Lang, Mini Lang for Machine Learnining

   Isabelle 4

6. CrystalGrow CrystalGrow Public

   Just a interest program.

   C# 3 1