Explore projects

Source files for hacspec files Bachelor's project by AU DAT6 2019 Group 6.

Groups 4's awesome LEGO project

ZKG - Parallel Zero Knowledge Proofs on the GPU

GITMAL, til ITMAL kurset.

Indeholder slides, opgaver og Python kildekoder.

Praktisk Programmering og numeriske metoder - F2020

A framework for smart contract verification in Coq

Program