search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Testmaster #54

Closed jim-portegies closed 2 months ago

jim-portegies commented 2 months ago

Implement a better way to do a case analysis on a type.