Luc Chabassier

icon indicating a website link https://dwarfmaster.net icon indicating an email [email protected]

icon company Clearsy

Results 2 repositories owned by Luc Chabassier

arkenfox-nixos

38
Stars
7
Forks
Watchers

Utilities to use arkenfox/user.js in NixOS

verified publisher icon dwarfmaster

commutative-diagrams

15
Stars
1
Forks
Watchers

A coq plugin to deal with commutative diagrams

verified publisher icon dwarfmaster