https://github.com/smimram/proof-assistant-project

Template for the proof assistant project CSC_51051_EP.
https://github.com/smimram/proof-assistant-project

logic ocaml proof-assistant template

Last synced: 3 months ago
JSON representation

Template for the proof assistant project CSC_51051_EP.

• Host: GitHub
• URL: https://github.com/smimram/proof-assistant-project
• Owner: smimram
• Created: 2024-09-13T07:45:20.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2024-09-13T09:57:30.000Z (4 months ago)
• Last Synced: 2024-09-30T06:24:22.255Z (3 months ago)
• Topics: logic, ocaml, proof-assistant, template
• Language: OCaml
• Homepage: https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/TD/4.prover.html
• Size: 3.91 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Template for the proof assistant project of CSC_51051_EP

This is a template for the [proof assistant project of CSC_51051_EP](https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/TD/4.prover.html), which you can clone in order to get started. It contains the folders

1. [simple](simple/): the proof assistant for propositional logic (parts 1 to 4 of the project),

2. [dependent](dependent/): the proof assistant with dependent types (part 5),

3. [report](report/): a template for writing the report in markdown.

In order to build the project you can either type

```bash

make

```

or

```bash

dune build

```