isabelle-prover / proving-contest-backendsView external linksLinks
"proving-contest"-backends for several theorem provers
☆13Oct 15, 2024Updated last year
Alternatives and similar repositories for proving-contest-backends
Users that are interested in proving-contest-backends are comparing it to the libraries listed below
Sorting:
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Dec 14, 2025Updated 2 months ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 4 years ago
- ☆38May 31, 2023Updated 2 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆17Feb 28, 2025Updated 11 months ago
- Linter component for Isabelle.☆20Dec 20, 2025Updated last month
- GitHub action for standard CI in Lean projects☆31Jan 15, 2026Updated last month
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 7 months ago
- A toy implementation of socket programming for Lean 4.☆28Feb 23, 2023Updated 2 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆66Jul 18, 2024Updated last year
- Try a tactic at each step in a Lean proof.☆32Jan 26, 2026Updated 2 weeks ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 6 months ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- A Scala library for controlling/interacting with Isabelle☆41Feb 4, 2026Updated last week
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Demo repository showcasing how to use reusable workflows to build artifact attestations☆13Feb 2, 2026Updated last week
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 4 years ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- ☆15Oct 14, 2025Updated 4 months ago
- A Lean file formatter☆71Feb 3, 2023Updated 3 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- ☆10May 2, 2025Updated 9 months ago
- Simple getting started procedure for SciCat☆11Updated this week
- gammcor code☆11Sep 25, 2025Updated 4 months ago
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Updated this week
- ☆20Updated this week
- A Python client library for accessing IQM quantum computers☆13Mar 26, 2025Updated 10 months ago
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated last month
- A NOMAD plugin containing base sections for material processing.☆11Jan 20, 2026Updated 3 weeks ago
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆13Oct 20, 2024Updated last year
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 6, 2026Updated last week
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆76Jan 30, 2026Updated 2 weeks ago
- The first high school physics Olympiad benchmark for evaluating (M)LLMs with step-level grading and human-level comparison.☆26Dec 19, 2025Updated last month