affeldt-aist

icon indicating a website link https://staff.aist.go.jp/reynald.affeldt/

Results 3 repositories owned by affeldt-aist

coq-robot

24
Stars
2
Forks
Watchers

Mathematics of Rigid Body Transformationss using Coq and MathComp

verified publisher icon affeldt-aist

infotheo

61
Stars
15
Forks
Watchers

A Coq formalization of information theory and linear error-correcting codes

verified publisher icon affeldt-aist

monae

67
Stars
10
Forks
Watchers

Monadic effects and equational reasonig in Coq

verified publisher icon affeldt-aist