Back to Top
CoolProof Screenshot 0
CoolProof Screenshot 1
CoolProof Screenshot 2
CoolProof Screenshot 3
Free website generator for mobile apps; privacy policy, app-ads.txt support and more... AppPage.net

About CoolProof

CoolProof is a tool to help you learn propositional logic proofs using proof trees.

Features:
- Create proof trees using a graphical interface
- 20 expressions to prove, increasing in difficulty
- An easy mode where the app only shows actions that might help at that point
- Ability to add your own expressions and prove them

Similar Apps

LaTeX Cards: Flashcards

LaTeX Cards: Flashcards

0.0

Introducing LaTeX Cards - the ultimate tool for students and teachers looking...

1Dental

1Dental

3.4

Key Features:- Digital membership card in your pocket- List of dental discounts...

Coachify.AI - Workouts & Diet

Coachify.AI - Workouts & Diet

3.3

Coachify.AI is an all in one fitness app that covers home workouts,...

Champ Training

Champ Training

0.0

Kick-start your fitness journey with Champ Training. Together with Colby Child, you'll...

Formula Solver

Formula Solver

3.5

Formula Solver is a simple and easy-to-use application for physical and chemical...

Learn Biochemistry (PRO)

Learn Biochemistry (PRO)

0.0

Learn Biochemistry biological chemistry app is designed for students as well as...

author
This is a great application, very groovy
Merijn Moody
author
Fantastic application for interactively learning about formal proofs in propositional logic! It allows you to learn and practice the formal proof rules, learn about the distinction between intuitionistic and...
Henning Basold