Stream: math-comp analysis

Topic: FYI, someone should advertise this project


view this post on Zulip Enrico Tassi (Jul 13 2022 at 16:46):

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


Last updated: Mar 29 2024 at 01:40 UTC