A simple proof assistant written in Rust

Personal repository of scripts and tools. Public access for consideration.

Projet de compilation de Petit Go en OCaml de programmation 1

NoteKfet pour le déménagement et la Saper[list]popette !

My nixos configuration

Ensemble des recettes de déploiement Ansible pour les serveurs du Crans.

Application pour soumettre un PDF et l'imprimer, en s'authentifiant par la Note Kfet

Petite classe LaTeX permettant de créer simplement une feuille de note

Script pour verifier certains aspects d'un document latex.

My fork of Proost.