HUGINN
The neo-intuitionist theory of mathematics and logic — Huginn