A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
71,372 visible repositories in the index
25–26 of 26 · Most stars
Minimalist command based AI plugin to interact with LLM backends like Ollama and OpenAI with a powerful template system
- ai
- command-line
- llm
- lua