There are 0 repository under serapi topic.
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Mutation analysis tool for Coq verification projects
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
Tool for suggesting lemma names in Coq verification projects
Corpus of Coq code related to MathComp including several machine-readable representations
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.