Contents

Contents

Idea

A project for formalization of parts of mathematics (formal proof) in formal languages supported by proof assistants (particularly in Coq).

References

Last revised on June 18, 2019 at 10:31:36. See the history of this page for a list of all contributions to it.