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: Oct 13 2024 at 01:02 UTC