#

serapi

Here is 1 public repository matching this topic...

waterproof

impermeable / waterproof

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

coq serapi

Updated Mar 19, 2024
JavaScript

Improve this page

Add a description, image, and links to the serapi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the serapi topic, visit your repo's landing page and select "manage topics."