roosterize

lemma suggestion tool

An automated tool for suggesting lemma names in Coq proof assistant projects based on neural network models

Tool for suggesting lemma names in Coq verification projects

GitHub
18 stars
7 watching
5 forks
Language: Python
last commit: about 2 years ago
Linked from 1 awesome list

coqdeep-learningmachine-learningmathcompname-generationneural-networkspytorchserapi

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
plclub/lngen Tool for generating Coq definitions and proofs for locally nameless representations 30
matafou/libhyps A Coq library providing tactics to manipulate hypotheses in formal proofs. 20
coq-community/alea A library for reasoning about randomized algorithms in Coq 25
coq-community/lemma-overloading A Coq library demonstrating design patterns for automated proof automation and canonical structures 26
engineeringsoftware/mcoq Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. 30
princeton-vl/coqgym A learning environment for theorem proving with the Coq proof assistant 384
ejgallego/pycoq Python bindings for Coq's interactive proof assistant 50
ejgallego/coq-lsp A tool for interactive theorem proving and language support in Coq 152
kuhumcst/cstlemma A lemmatiser tool for multiple languages using affix rules and supervised learning from full-form dictionaries. 35
ml4tp/gamepad A platform that exposes Coq proofs to machine learning algorithms 72
mit-plv/coqutil A collection of reusable tools and utilities for working with the Coq proof assistant 41
jasongross/coq-tools Tools for helping find and fix bugs in the Coq proof assistant development environment. 39
cadene/vqa.pytorch A PyTorch implementation of visual question answering with multimodal representation learning 716
rafaelcgs10/w-in-coq A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools. 25