Prooftoys
Links
Documentation
Terms and concepts
The language
Prooftoys reasoning
Using the proof builder
Technical notes
Reference
Symbols quick reference
Axioms and theorems
Real number facts
Live logic facts list
Advanced quantifier laws
Site
Home
Hands-on
Documentation
About Prooftoys
Privacy information
FAQ
News
7 Rational function
8 Rational — no solution