Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
LimitUniqueness.v		LimitUniqueness.v
README.md		README.md

Repository files navigation

proof-playground

A Coq/Rocq playground for experimenting with proofs and ideas.
Built for fun and learning.

About

A playground for Coq/Rocq proofs and ideas.

coq-proof-assistant mathematical-analysis mathematical-proofs mindmap

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages