serapi

There are 0 repository under serapi topic.

waterproof
impermeable / waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
serapi coq
Language:JavaScript 34
EngineeringSoftware / mcoq
Mutation analysis tool for Coq verification projects
coq mutation-analysis serapi
Language:Java 27
kylejtobin / langchain_search_bot
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
langchain prompt-engineering openai ai chatbot it-engineering learning-repo machine-learning nlp python serapi
Language:Python 23
EngineeringSoftware / roosterize
Tool for suggesting lemma names in Coq verification projects
coq machine-learning name-generation pytorch neural-networks serapi mathcomp deep-learning
Language:Python 18
EngineeringSoftware / math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
coq mathcomp serapi machine-learning-dataset
Language:Common Lisp 10

impermeable / waterproof