Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
An interactive tutorial to begin learning with OCaml
JavaScript OCaml C Other
branch: master

This branch is 66 commits ahead, 104 commits behind OCamlPro:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
trylogic_imslti
trylogic_proofweb
trylogic_tutorial
.gitignore
README.md

README.md

Overview

TryLogic is a set of Tools to teach Logic:

  • A Tutorial for Proof with Natural Deduction and Refute with verification on Coq: [b]trylogic_tutorial[/b]
  • A Task Generator to produce Exercice to the web-assistant prover ProofWeb: [b]trylogic_imslti[/b]
  • A patch of the ProofWeb: [b]trylogic_proofweb[/b]

License

[GNU General Public License]

Something went wrong with that request. Please try again.