GitHub - verificarlo/verificarlo_tutorial: Tutorial for Verificarlo · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
correction		correction
figs		figs
verificarlo-tutorial		verificarlo-tutorial
.gitignore		.gitignore
.latexmkrc		.latexmkrc
Makefile		Makefile
README.md		README.md
TP.cls		TP.cls
bibliography.bib		bibliography.bib
deltadebug.tex		deltadebug.tex
main-en.tex		main-en.tex
polynomial-compensated.tex		polynomial-compensated.tex
polynomial-factored.tex		polynomial-factored.tex
polynomial.tex		polynomial.tex
veritracer.tex		veritracer.tex

Repository files navigation

This repository regroups:

the .tex source file of the Verificarlo tutorial
All c code, python and bash script for the exercise
The solution of the exercises

About

Tutorial for Verificarlo

Custom properties

2 stars

7 watching

Report repository

Releases

Packages

Contributors

Languages