This repository contains the manual of the deepsec prover. The manual is written in Pandoc markdwon and all html and LaTeX files are generated.
To compile the sources you need to have pandoc, pdflatex and biber installed.
-
Notifications
You must be signed in to change notification settings - Fork 1
DeepSec-prover/manual
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Manual of the DeepSec prover
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published