Brave browser for Android, iOS, Linux, macOS, Windows.

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Fitch style proof constructor

The Principia Rewrite

Tree Proof Generator

A curses-based drawing program

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

A formal logic framework that runs in the browser

Modal Logic Playground

A web-based collaborative LaTeX editor

UCalgary version of forallx, an introduction to formal logic

An open-source, customizable intermediate logic textbook

Universal markup converter