Practal — Practical Logic

A Bicycle for Your Mathematical Mind
Read the position paper: Practal — Practical Logic
Delve into Practal’s logic: Practical Types
Check out the code: Practal Light
Join the Discussion