serapi topic
List
serapi repositories
waterproof
34
Stars
5
Forks
Watchers
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
mcoq
27
Stars
1
Forks
Watchers
Mutation analysis tool for Coq verification projects
roosterize
18
Stars
5
Forks
Watchers
Tool for suggesting lemma names in Coq verification projects
langchain_search_bot
23
Stars
8
Forks
Watchers
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.