libcoq-mathcomp-fingroup

libcoq-mathcomp-fingroup

Debian Bookworm

$math-comp.github.io$ math-comp.github.io

Releases1

Frequency

Last Release 6 months ago

Mathematical Components library for Coq (finite groups)

Log in to subscribe

Collections containing this project

Showing collections based on your access.

This project is not in any collections you can view.