Stream: math-comp analysis

Topic: FYI, someone should advertise this project

Enrico Tassi (Jul 13 2022 at 16:46):

https://proofassistants.stackexchange.com/questions/1598/basics-of-real-numbers-in-mathcomp-coq

Last updated: Feb 05 2023 at 13:02 UTC