package coq-waterproof

  1. Overview
  2. No Docs
Waterproof library

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

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

Maintainers

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

Sources

1.2.4.tar.gz
sha256=b087cc6fff34c519ab9c4d938c439ba565d599d974eb067b48a670d894280457

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:Mathematics/Education date:2022-02-03 logpath:Waterproof

Published: 21 Nov 2022

Dependencies (1)

  1. coq >= "8.15" & < "8.16"

Dev Dependencies

None

Used by

None

Conflicts

None