Popular repositories Loading

1. IsarStep IsarStep Public

   Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"

   11 2

2. Number_Theory_ITP2024 Number_Theory_ITP2024 Public

   The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".

   Isabelle 4 1

3. thesis-code thesis-code Public

   Source code for my PhD thesis "Towards justifying computer algebra algorithms in Isabelle/HOL"

   Standard ML 1

4. RCF_Decision_Procedures RCF_Decision_Procedures Public

   Decision Procedures in Isabelle/HOL based on Cylindrical Algebraic Decomposition

   Isabelle 1

5. THUMT THUMT Public

   Forked from THUNLP-MT/THUMT

   An open-source neural machine translation toolkit developed by Tsinghua Natural Language Processing Group

   Python

6. scala-isabelle scala-isabelle Public

   Forked from dominique-unruh/scala-isabelle

   A Scala library for controlling/interacting with Isabelle

   Scala