Skip to content
@direct-manipulation

Direct Manipulation

Proofs by Direct Manipulation
  • France
README.md

Pinned Loading

  1. profound profound Public

    An experiment in formula linking as an interaction method

    OCaml 3

  2. profint profint Public

    Intuitionistic version of the Profound interactive theorem proving tool

    OCaml 1

Repositories

Showing 3 of 3 repositories
  • profint Public

    Intuitionistic version of the Profound interactive theorem proving tool

    direct-manipulation/profint’s past year of commit activity
    OCaml 1 Apache-2.0 0 0 0 Updated Sep 10, 2024
  • .github Public
    direct-manipulation/.github’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 22, 2022
  • profound Public

    An experiment in formula linking as an interaction method

    direct-manipulation/profound’s past year of commit activity
    OCaml 3 0 1 0 Updated May 12, 2016

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…