Skip to content
@impermeable

impermeable

Pinned Loading

  1. coq-waterproof Public

    The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…

    Coq 36 13

  2. waterproof-vscode Public

    TypeScript 4 3

  3. waterproof-exercise-sheets Public

    Examples of Waterproof exercise sheets used for teaching Analysis 1 at the TU/e.

    1 2

Repositories

Showing 10 of 13 repositories
  • coq-waterproof Public

    The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

    Coq 36 LGPL-3.0 13 3 1 Updated Apr 17, 2025
  • waterproof-vscode Public
    TypeScript 4 LGPL-2.1 3 14 6 Updated Apr 16, 2025
  • waterproof-dev Public

    Development environment setup for coq-waterproof

    Makefile 0 LGPL-3.0 0 0 0 Updated Apr 15, 2025
  • waterproof-editor Public

    Editor used in the Waterproof project.

    0 0 0 0 Updated Mar 25, 2025
  • waterproof-dependencies-installer Public
    Shell 0 2 1 8 Updated Mar 14, 2025
  • impermeable.github.io Public
    HTML 0 0 0 0 Updated Mar 13, 2025
  • waterproof-exercise-sheets Public

    Examples of Waterproof exercise sheets used for teaching Analysis 1 at the TU/e.

    1 LGPL-2.1 2 0 0 Updated Dec 19, 2024
  • waterproof-online Public

    An environment to run Waterproof online

    0 0 0 0 Updated Nov 10, 2024
  • waterproof Public

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

    JavaScript 42 LGPL-2.1 6 2 29 Updated Mar 19, 2024
  • opam-coq-archive Public Forked from rocq-prover/opam

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 0 LGPL-2.1 178 0 0 Updated Aug 27, 2023
View all repositories