search

runtimeverification / kontrol-demo

Foundry blog posts' executable demos
12 stars 3 forks source link

Small stuff #1

Closed david-k closed 2 years ago

david-k commented 2 years ago

Fixes Markdown headers and an import path