-
MLML Public
Machine Leanring for Mini Lang, Mini Lang for Machine Learnining
-
Isa-Mini Public
A minimal language for Isabelle/HOL, designed for easing machine learning.
-
auto_sledgehammer Public
This Isabelle session provides a smart tactic that wraps Sledgehammer
-
-
-
-
-
-
PutnamBench Public
Forked from trishullab/PutnamBenchAn evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Lean UpdatedMay 9, 2026 -
-
-
-
-
ocaml-ahrocksdb Public
Forked from ahrefs/ocaml-ahrocksdbOCaml bindings for RocksDB
OCaml MIT License UpdatedDec 13, 2025 -
Automation_Base Public
Base settings for boosting Isabelle
Standard ML GNU Lesser General Public License v2.1 UpdatedNov 6, 2025 -
gwtheme Public
Forked from MaxMelching/gwthemeA beamer theme and Google Slides template utilizing the gwbar package.
TeX UpdatedNov 3, 2025 -
why3-for-NTP Public
Modified Why3 1.8.0 for exporting VCs for ITPs including Isabelle, Lean, and Coq, aimming to build a *fair* and *cross-platform* Neural Theorem Proving benchmark for program verification. This repo…
OCaml Other UpdatedAug 29, 2025 -
chc-comp25-benchmarks Public
Forked from chc-comp/chc-comp25-benchmarksBenchmarks used in the 2025 CHC-COMP, with translations for Isabelle (done) / Lean (WIP) / Coq (WIP)
SMT UpdatedMay 30, 2025 -
copra Public
Forked from trishullab/copraCOPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Python UpdatedMay 14, 2025 -
-
trends_of_NTP Public
A simple script to scrap arXiv papers in Neural Theorem Proving and analysis the trend of the proof assistants adopted in these works
-
SubgoalXL_for_MiniLang Public
Forked from zhaoxlpku/SubgoalXLPython MIT License UpdatedMar 14, 2025 -
phi-system-html Public
a gallery to place [phi-system](https://github.com/xqyww123/phi-system) demos
HTML UpdatedDec 20, 2024 -
git-lfs-s3-proxy Public
Forked from twilligon/git-lfs-s3-proxyStore Git LFS files on any service with an S3 API
JavaScript Creative Commons Zero v1.0 Universal UpdatedJan 18, 2024 -
-
-
gitignore Public
Forked from github/gitignoreA collection of useful .gitignore templates
Creative Commons Zero v1.0 Universal UpdatedOct 21, 2019 -
mlmsgpack Public
Forked from tkob/mlmsgpackML-MessagePack: MessagePack implementation for Standard ML (SML) / msgpack.org[SML]
Standard ML MIT License UpdatedJun 1, 2019 -
bridge.cr Public archive
[WIP] A cross-protocol and cross-serialization RPC framework, designed for easiness, simpleness and performance.
-
bridge.rb Public
Ruby client for [`bridge`](https://github.com/xqyww123/bridge.cr), a rpc framework for crystal.
UpdatedFeb 5, 2019
{{ message }}