Henk Barendregt
Jan. 26th, 2004 03:47 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslHenk Barendregt - Towards an Interactive Mathematical Proof Language
When will this be generalized to interactive programming?
Henk Barendregt - Mathematician-friendly Proof Assistants (nice pictures, for the eye-weary among you)
I want to be part of this revolution!
When will this be generalized to interactive programming?
Henk Barendregt - Mathematician-friendly Proof Assistants (nice pictures, for the eye-weary among you)
Mathematician-friendly systems for Computer Mathematics exist.
It will take 10 to 50 years to build them
I want to be part of this revolution!