Repository Index

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch