Write Tuto Equations and Views

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

https://coq.inria.fr/platform-docs/

Other

19 stars 11 forks source link

Open thomas-lamiaux opened 3 months ago

thomas-lamiaux commented 3 months ago

Write a tutorial on Equations and Views

EwenBC commented 1 month ago

I'm interested by it.