libcoq-mathcomp-real-closed

libcoq-mathcomp-real-closed

Debian Bookworm

Releases1

Frequency

Last Release 6 months ago

Real closed fields for Mathematical Components

Log in to subscribe

Collections containing this project

Showing collections based on your access.

This project is not in any collections you can view.