mczify

Micromega tactics for Mathematical Components

23 stars

14 watching

8 forks

Language: Coq

last commit: 24 days ago

Linked from 2 awesome lists

coqmathcompproof-automationssreflect

Backlinks from these awesome lists: