search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Investigate leveraging the work on MathFoldr #96

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

See https://topos.site/blog/2021/07/introducing-the-mathfoldr-project/