frenzymath / herald_translatorView external linksLinks
☆28Jun 12, 2025Updated 8 months ago
Alternatives and similar repositories for herald_translator
Users that are interested in herald_translator are comparing it to the libraries listed below
Sorting:
- ☆35Jan 10, 2025Updated last year
- ☆17Jul 12, 2025Updated 7 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆34Jan 26, 2026Updated 2 weeks ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆23Aug 19, 2025Updated 5 months ago
- ☆19Jan 20, 2025Updated last year
- A static analysis tool for Lean 4.☆113Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆124Nov 25, 2025Updated 2 months ago
- Lennard Jones in Lean☆20Jul 14, 2025Updated 7 months ago
- Formalization of IMO shortlist problems in Lean 4☆24Updated this week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆23Updated this week
- ☆25Jul 16, 2025Updated 7 months ago
- ☆43Dec 16, 2025Updated 2 months ago
- A formalization of ML kernel languages☆42Updated this week
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Jan 23, 2026Updated 3 weeks ago
- ☆47Aug 5, 2025Updated 6 months ago
- ☆33Jun 15, 2025Updated 8 months ago
- Tactics for discharging Lean goals into SMT solvers.☆257Updated this week
- ☆88Feb 8, 2026Updated last week
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- SipHash function for PHP☆16Feb 2, 2021Updated 5 years ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆212Jan 11, 2026Updated last month
- ☆144Jan 27, 2026Updated 2 weeks ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 10 years ago
- DateTime package for Lean 4☆16Feb 28, 2024Updated last year
- Nald'thal the Traders.☆11Nov 4, 2018Updated 7 years ago
- 😎 Better Naver blog browsing☆10Jan 8, 2026Updated last month
- user-editable, acronym-only dictionary☆24Jan 7, 2017Updated 9 years ago
- ☆13May 5, 2018Updated 7 years ago
- LZMA handling library.☆11May 2, 2017Updated 8 years ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- IRCCloud Python Client☆11Oct 26, 2015Updated 10 years ago
- nginx.conf of my servers☆10Apr 3, 2018Updated 7 years ago
- ☆12Jan 13, 2025Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Library for literal 128-bit integers in C++☆11Nov 18, 2025Updated 2 months ago
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated 2 weeks ago
- Like `pbcopy` but for LLM prompt building 🏗️☆12Oct 25, 2024Updated last year