Move list theorems - Githubissues

katydid / regex-derivatives-coq

Apache License 2.0

21 stars 7 forks source link

Closed awalterschulze closed 4 years ago

awalterschulze commented 4 years ago

Move our list theorems proven in the pair programming session to the list package