Stream: Coq users

Topic: Real numbers and realFieldType


view this post on Zulip Notification Bot (Feb 20 2024 at 16:49):

This topic was moved to #math-comp analysis > Real numbers and realFieldType by Karl Palmskog.


Last updated: Jun 13 2024 at 19:02 UTC