![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Formal proof
Welcome to the Formal proof discussion forum. In this forum, you may ask questions, start new discussions, and view existing posts. Click here to create a discussion account.
Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Subject | Replies | Date | |
![]() |
Is dr any odr proof of 0.x=0????? | 1 | 11/5/2014 |
![]() |
Formal proof of 0x=0,laws of logic used | 0 | 3/28/2013 |
![]() |
A formal proof of the theorem ,0x=0...for all x | 0 | 3/28/2013 |
![]() |
Formal proof on a theorem on sqrts | 0 | 3/18/2013 |