Stream: Constructive reals & analysis

Topics:

• stream events (2 messages, latest: Apr 21 2022 at 15:05)
• formalization of Bishop's Constructive Analysis? (16 messages, latest: Jul 04 2021 at 08:52)
• New release of Corn? (41 messages, latest: Sep 05 2020 at 11:44)
• Integers in reals (4 messages, latest: Aug 17 2020 at 12:19)
• Rationals (3 messages, latest: Aug 04 2020 at 20:21)
• Continue discussion from Coq PR #12186 (1 message, latest: Jun 10 2020 at 15:25)

Last updated: Mar 25 2023 at 07:28 UTC