Juha Arpiainen
I am a student of Theoretical Physics and Mathematics at the University of Helsinki. Among other things I'm interested in formal mathematics and Lisp. I'm the author of Bourbaki proof checker.
I can be contacted by email: juha dot arpiainen at helsinki dot fi
Hi Juha, thanks for posting. It would be great for us to be able to ride on your coattails for a while. Some additional documentation of the Bourbaki prover would be great to see; maybe we can help, at least by asking you questions. See Updates to the HDM documentation for a link to some of our documentation; maybe you can write a short report on Bourbaki to add to this collection? --jcorneli