Code Reasoning

Stream: CSLib

[Clark Barrett]

FYI - the Loom paper is out - as some of you know, we have been experimenting with Loom as one back end for code reasoning: https://verse-lab.github.io/papers/loom-preprint.pdf

[Shreyas Srinivas]

Here’s the discussion thread where I ask about possible use in CSLib. I am actually experimenting with basic algorithms on it.

https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Loom.20discussion/near/544220968