https://proofassistants.stackexchange.com/questions/1598/basics-of-real-numbers-in-mathcomp-coq
Last updated: Mar 29 2024 at 01:40 UTC