Explore projects

A framework for smart contract verification in Coq

Praktisk Programmering og numeriske metoder - F2020

TIl kurset: "Praktisk programmering og numeriske metoder" forår 2020.

Exercises for practial programering and numerical methods

Repository for the course: "Praktisk programmering og numeriske metoder"

For the course: Practical Programming and Numerical Methods

Practical programming & numerical methods - Sebastian Yde Madsen

Library for compressing Ananke is the greek good of force constraint, necessity