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