search

ilyasergey / pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.
https://ilyasergey.net/pnp
BSD 2-Clause "Simplified" License
159 stars 16 forks source link

newstuff/ directory is 5 years old :) #22

Open anton-trunov opened 3 years ago

anton-trunov commented 3 years ago

Oh, boy, time flies!