Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

Prove functional correctness of Ethereum smart contracts in higher-order logic

project to automate the modeling of a smart contract as a game

Sleep despite annoying clamshell mode

Spletna storitev za generiranje nalog

Formalization of type theory

EPIT 2020 - Spring School on Homotopy Type Theory

A collection of small fun art projects