Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 pointby Horsocrates6 hours ago