☆26Updated this week
Alternatives and similar repositories for comparator
Users that are interested in comparator are comparing it to the libraries listed below
Sorting:
- Goldbach conjecture = 25-state turing machine☆38Jan 13, 2025Updated last year
- Beginner's guide to Tactic Programming in Lean☆67Aug 29, 2025Updated 5 months ago
- ☆43Jan 24, 2026Updated last month
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆31Feb 12, 2026Updated 2 weeks ago
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Document Generator for Lean 4☆130Updated this week
- SorryDB indexes sorries in public lean repositories☆42Feb 12, 2026Updated 2 weeks ago
- ImProver: Agent-Based Automated Proof Optimization☆40Jan 18, 2026Updated last month
- ☆34Oct 1, 2024Updated last year
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Amazon Q Business enables querying structured data using natural language, leveraging schemas and metadata. This example demonstrates an …☆19Nov 13, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 6 months ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Sequence diagram generator with simple text based grammar, to make it quick and easy to share ideas and document your system. Copy to cli…☆11Dec 20, 2020Updated 5 years ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆77Feb 19, 2026Updated last week
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago
- simplify the prediction process for a finetuned bert model☆11Jun 19, 2019Updated 6 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- CLI based tool for global dns [propagation] check☆27Apr 22, 2017Updated 8 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 8 months ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆34Updated this week
- MPC Node. Implements secure multi-party threshold signature generation as part of NEAR's chain abstraction infrastructure☆29Updated this week
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- ☆12Mar 4, 2025Updated 11 months ago
- ☆10Oct 13, 2025Updated 4 months ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Dec 15, 2025Updated 2 months ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Go library to shutdown your goroutines gracefully and in a timely manner☆13Feb 27, 2023Updated 3 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- ☆14Oct 16, 2025Updated 4 months ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- A connector to Rainbow Bridge that allows sending $NEAR to Ethereum as an ERC-20 token (eNEAR)☆10Mar 29, 2025Updated 10 months ago
- Lean web editor☆132Jan 6, 2026Updated last month
- A Machine-to-Machine Interaction System for Lean 4.☆133Updated this week
- ☆14Feb 14, 2025Updated last year