Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with serapi
A curated list of projects in awesome lists tagged with serapi .
https://github.com/impermeable/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Last synced: 10 Oct 2024
https://github.com/engineeringsoftware/mcoq
Mutation analysis tool for Coq verification projects
Last synced: 18 Nov 2024
https://github.com/EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi
Last synced: 29 Nov 2024
https://github.com/engineeringsoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi
Last synced: 18 Nov 2024
https://github.com/engineeringsoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
coq machine-learning-dataset mathcomp serapi
Last synced: 18 Nov 2024