Explore projects

GITMAL, til ITMAL kurset.

Indeholder slides, opgaver og Python kildekoder.

Program

Git repo for the 2022 Practical Programming and Numerical Methods course

Nicked from Kenneth Lund Andersen's git project at git.kern.phys.au.dk

Digital Testbed and Benchmark Development

A framework for smart contract verification in Coq

Storage for TorsionBar example