search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
199 stars 50 forks source link

Fix StateFacts imports in tutorial. #141

Closed Chobbes closed 4 years ago

Chobbes commented 4 years ago

Seems like these have moved!

Lysxia commented 4 years ago

Thanks!