Skip to content

Blog post on dependent simulations

Natasha Klaus requested to merge blog-article into master

Blog post. Simulations: dependently-typed version

Edited by Guillaume Claret

Merge request reports