Skip to content
View Wenda302's full-sized avatar
  • University of Cambridge

Highlights

  • Pro

Block or report Wenda302

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. IsarStep IsarStep Public

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

    10 1

  2. Number_Theory_ITP2024 Number_Theory_ITP2024 Public

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

    Isabelle 3 1

  3. RCF_Decision_Procedures RCF_Decision_Procedures Public

    Decision Procedures in Isabelle/HOL based on Cylindrical Algebraic Decomposition

    Isabelle 1

  4. thesis-code thesis-code Public

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

    Standard ML

  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