Human-Oriented-ATP/motivated-proof-facilitator
A graphical interface that makes it convenient to construct "motivated proofs" through a series of point-and-click moves.
Stars
—
Forks
2
Language
TypeScript
License
GPL-3.0
Category
Last pushed
Mar 21, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/Human-Oriented-ATP/motivated-proof-facilitator"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
ai4co/reevo
[NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution
SALT-NLP/collaborative-gym
Framework and toolkits for building and evaluating collaborative agents that can work together...
Gen-Verse/LatentMAS
Latent Collaboration in Multi-Agent Systems
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
WooooDyy/AgentGym-RL
Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon...