Popular repositories Loading

1. Isa-Mini Isa-Mini Public

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

   Standard ML 27

2. phi-system phi-system Public

   Isabelle 10

3. Uniswap_v Uniswap_v Public

   Isabelle 10

4. Isa-REPL Isa-REPL Public

   Isabelle REPL

   Standard ML 7

5. NTP4VC NTP4VC Public

   Nerual Theorem Proving for Verification Conditions

   Lean 6 1

6. MLML MLML Public

   Machine Leanring for Mini Lang, Mini Lang for Machine Learnining

   Isabelle 5