Block or Report
Block or report jim-signal
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris