search

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
https://coq-community.org/coq-ext-lib/
BSD 2-Clause "Simplified" License
124 stars 45 forks source link

Tutorial for Monadic Programming #5

Open gmalecha opened 9 years ago

vzaliva commented 8 years ago

sorry, accidentally closed this. reopening.