Highlights
- Pro
Popular repositories Loading
-
Number_Theory_ITP2024
Number_Theory_ITP2024 PublicThe accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".
-
RCF_Decision_Procedures
RCF_Decision_Procedures PublicDecision Procedures in Isabelle/HOL based on Cylindrical Algebraic Decomposition
Isabelle 1
-
thesis-code
thesis-code PublicSource code for my PhD thesis "Towards justifying computer algebra algorithms in Isabelle/HOL"
Standard ML
-
THUMT
THUMT PublicForked from THUNLP-MT/THUMT
An open-source neural machine translation toolkit developed by Tsinghua Natural Language Processing Group
Python
-
scala-isabelle
scala-isabelle PublicForked from dominique-unruh/scala-isabelle
A Scala library for controlling/interacting with Isabelle
Scala
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.