roosterize
Tool for suggesting lemma names in Coq verification projects
AI summary
lemma suggestion tool
An automated tool for suggesting lemma names in Coq proof assistant projects based on neural network models
- stars
- 18
- forks
- 5
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Lemmatizer tool
A lemmatiser tool for multiple languages using affix rules and supervised learning from full-form dictionaries.
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Bug finder
Tools for helping find and fix bugs in the Coq proof assistant development environment.
VQA model
A PyTorch implementation of visual question answering with multimodal representation learning
Type inference tool verifier
A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions roosterize.