A simple proof assistant written in Rust

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

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

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.

~/bin/