Formalizing Basic Quaternionic Analysis.

Andrea Gabrielli, Marco Maggesi

Browse the full ITP paper archive.