package coq-waterproof

  1. Overview
  2. No Docs
Waterproof library

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. J
    Jim Portegies
  2. C
    Cosmin Manea
  3. L
    Lulof Pirée
  4. A
    Adrian Vrămuleţ
  5. T
    Tudor Voicu

Maintainers

  1. J
    j.w.portegies@tue.nl

Sources

1.0.0.tar.gz
sha256=bc2e6ec7b458ad491b7bf95186d1b440240ee5cc4c449feea002b53e9bb60ae9

Description

The Waterproof library provides tactics, notations, and mathematical theories geared towards use in Mathematics educational environments. It aims to provide syntax such that proof scripts mimic handwritten mathematical proofs.

Tags

keyword:mathematics education category:Math/Education date:2021-06-24 logpath:Waterproof

Published: 24 Jun 2021

Dependencies (1)

  1. coq >= "8.12" & < "8.14"

Dev Dependencies

None

Used by

None

Conflicts

None