https://prooftoys.org/tests/ 0.5 https://prooftoys.org/number-game/tutorial3/ 0.5 https://prooftoys.org/number-game/tutorial4/ 0.5 https://prooftoys.org/number-game/tutorial5/ 0.5 https://prooftoys.org/number-game/tutorial7/ 0.5 https://prooftoys.org/number-game/tutorial8/ 0.5 https://prooftoys.org/number-game/tutorial9/ 0.5 https://prooftoys.org/number-game/tutorial10/ 0.5 https://prooftoys.org/fake-proof/ 0.5 https://prooftoys.org/about/ 0.5 https://prooftoys.org/number-game/tutorial6/ 0.5 https://prooftoys.org/quantifiers/ 0.5 https://prooftoys.org/theorems/ 0.5 https://prooftoys.org/categories/ 0.5 https://prooftoys.org/number-game/tutorial7.5/ 0.5 https://prooftoys.org/pt-logic-concepts/ 0.5 https://prooftoys.org/direct-proof/ 0.5 https://prooftoys.org/documentation/ 0.5 https://prooftoys.org/embedding-prooftoys/ 0.5 https://prooftoys.org/emulating-logics/ 0.5 https://prooftoys.org/number-game/tutorial2.5/ 0.5 https://prooftoys.org/settings/ 0.5 https://prooftoys.org/contact/ 0.5 https://prooftoys.org/number-game/tutorial2/ 0.5 https://prooftoys.org/hands-on/ 0.5 https://prooftoys.org/hol-zero/ 0.5 https://prooftoys.org/lunar/ 0.5 https://prooftoys.org/prooftoys-language/ 0.5 https://prooftoys.org/first-examples/ 0.5 https://prooftoys.org/practical-reasoning/ 0.5 https://prooftoys.org/number-game/tutorial1/ 0.5 https://prooftoys.org/news/ 0.5 https://prooftoys.org/notes/ 0.5 https://prooftoys.org/number-game/ 0.5 https://prooftoys.org/logic-pix-booleans/ 0.5 https://prooftoys.org/logic-pix-intro/ 0.5 https://prooftoys.org/logic-pix-truth/ 0.5 https://prooftoys.org/preview/ 0.5 https://prooftoys.org/privacy/ 0.5 https://prooftoys.org/proofbuilder/ 0.5 https://prooftoys.org/proof-by-cases/ 0.5 https://prooftoys.org/live-logic-facts/ 0.5 https://prooftoys.org/mission/ 0.5 https://prooftoys.org/faq/ 0.5 https://prooftoys.org/symbols-quickref/ 0.5 https://prooftoys.org/quickstart/ 0.5 https://prooftoys.org/real-number-facts/ 0.5 https://prooftoys.org/inference/ 0.5 https://prooftoys.org/rep-num/ 0.5 https://prooftoys.org/equations3/ 0.5 https://prooftoys.org/equations5/ 0.5 https://prooftoys.org/equations/ 0.5 https://prooftoys.org/equations2/ 0.5 https://prooftoys.org/equations4/ 0.5 https://prooftoys.org/tags/ 0.5 https://prooftoys.org/tech-notes/ 0.5 https://prooftoys.org/country-music/ 0.5 https://prooftoys.org/drinking/ 0.5 https://prooftoys.org/language-intro/ 0.5 https://prooftoys.org/using-proofbuilder/ 0.5 https://prooftoys.org/number-game/tutorial11/ 0.5