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.1.2.tar.gz
sha256=aac7996c3b40804e6c4db78ef6c8d2ceed2783774a859af8452cc680d1dc79bc

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: 04 Feb 2022

Dependencies (1)

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

Dev Dependencies

None

Used by

None

Conflicts

None