coq-procrastination icon indicating copy to clipboard operation
coq-procrastination copied to clipboard

Published 20 hours ago • verified publisher icon Armael
→

Metadata

A small Coq library for collecting side conditions and deferring their proof

← Metadata

22
Stars
1
Forks
Watchers

Owner

verified publisher icon Armael

Metadata

A small Coq library for collecting side conditions and deferring their proof

Back