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.
Language:JavaScript37 3 45
EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
Language:Java28 9 41
kylejtobin/langchain_search_bot
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
Language:Python22 2 18
EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
Language:Python18 7 35
EngineeringSoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
Language:Common Lisp10 5 01
christivn/mapScraper
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
Language:Python7 1 21