Add to Coq Platform - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

204 stars 51 forks source link

Add to Coq Platform #263

Open Lysxia opened 9 months ago

Lysxia commented 9 months ago

Nice suggestion by Karl https://coq.zulipchat.com/#narrow/stream/394939-Interaction-Trees/topic/Proposing.20Interaction.20Trees.20for.20Platform.20inclusion