search

informalsystems / themis-tracer

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

Update the readme #62

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

The readme has a lot of instructions which aren't necessarily up to date, and don't reflect the current state of the tool or it's mid-term aims or decision decisions. So give this a pass to update.