PUMPKIN-PATCH icon indicating copy to clipboard operation
PUMPKIN-PATCH copied to clipboard

Published 20 hours ago • verified publisher icon uwplse
→

Metadata

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Results 46 PUMPKIN-PATCH issues
Sort by recently updated
recently updated
newest added

Go back to tactics: basic version (cut lemma)

tlringer avatar tlringer

Determine common refactorings to support from the Analytics project

tlringer avatar tlringer

blocked
meta

Renaming definitions

tlringer avatar tlringer

Renaming constructors

tlringer avatar tlringer

Renaming hypotheses

tlringer avatar tlringer

Moving definitions between files/modules

tlringer avatar tlringer

Reducio integration from the magic plugin

tlringer avatar tlringer

File organization

tlringer avatar tlringer

Move TODOs to issues (globally)

tlringer avatar tlringer

meta

Move TODOs to issues (global)

tlringer avatar tlringer

← Metadata

50
Stars
2
Forks
Watchers

Owner

verified publisher icon uwplse

Metadata

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Back