search

runtimeverification / kontrol-demo

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

Move to intall-kontrol action and run kontrol intead of foundry #16

Closed F-WRunTime closed 8 months ago

F-WRunTime commented 8 months ago

Foundry > Kontrol update w/ install-kontrol action