Skip to content

@impermeable impermeable

Change the repository type filter

All

    Repositories list

    18 repositories

    • waterproof-vscode

      Public
      TypeScript
      •
      GNU Lesser General Public License v2.1
      •4•8•17•1•Updated Sep 29, 2025Sep 29, 2025

    • waterproof-editor

      Public
      Editor used in the Waterproof project.
      TypeScript
      •
      MIT License
      •0•2•11•2•Updated Sep 29, 2025Sep 29, 2025

    • waterproof-exercise-sheets

      Public
      Examples of Waterproof exercise sheets used for teaching Analysis 1 at the TU/e.
      GNU Lesser General Public License v2.1
      •2•1•0•1•Updated Sep 28, 2025Sep 28, 2025

    • 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.
      Rocq Prover
      •
      GNU Lesser General Public License v3.0
      •13•43•19•3•Updated Sep 27, 2025Sep 27, 2025

    • introduction-to-proof-sheets

      Public
      Other
      •0•1•0•0•Updated Sep 25, 2025Sep 25, 2025

    • waterproof-dependencies-installer

      Public
      Shell
      •2•0•1•0•Updated Sep 5, 2025Sep 5, 2025

    • waterproof-dev

      Public
      Development environment setup for coq-waterproof
      Makefile
      •
      GNU Lesser General Public License v3.0
      •1•0•0•2•Updated Aug 26, 2025Aug 26, 2025

    • platform

      Public
      Multi platform setup for Coq, Coq libraries and tools
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •55•0•0•0•Updated Aug 25, 2025Aug 25, 2025

    • waterproof-prairielearn-workspace

      Public
      Dockerfile
      •0•0•0•0•Updated Jul 1, 2025Jul 1, 2025

    • waterproof-alectryon-example

      Public
      Python
      •0•0•0•0•Updated Jun 26, 2025Jun 26, 2025

    • rocq

      Public
      The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •694•0•0•0•Updated Jun 26, 2025Jun 26, 2025

    • impermeable.github.io

      Public
      HTML
      •0•0•0•0•Updated Mar 13, 2025Mar 13, 2025

    • waterproof-online

      Public
      An environment to run Waterproof online
      0•0•0•0•Updated Nov 10, 2024Nov 10, 2024

    • waterproof

      Public
      Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
      coqserapi
      JavaScript
      •
      GNU Lesser General Public License v2.1
      •6•43•3•29•Updated Mar 19, 2024Mar 19, 2024

    • opam-coq-archive

      Public
      Archive for all Coq related OPAM packages organized in various repositories
      OCaml
      •
      GNU Lesser General Public License v2.1
      •135•0•0•0•Updated Aug 27, 2023Aug 27, 2023

    • waterproof-momotor

      Public
      Bridges the gap between waterproof's exercise sheets and momotor's automated grading
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 17, 2023Aug 17, 2023

    • coq

      Public
      Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •694•0•0•0•Updated Jul 31, 2023Jul 31, 2023

    • waterproof-wrapper

      Public
      C++
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Nov 14, 2022Nov 14, 2022