informalsystems malachite Announcements · Discussions · GitHub

Streamline the process of creating a Malachite-based application
Ideas romac

Sort by: Latest activity

Announcements Discussions

Updates from maintainers

You must be logged in to vote

spec: revisit the "trust" relation between consensus logic and driver
spec Related to specifications
cason announced Sep 9, 2024 in Announcements

2
You must be logged in to vote

spec: algorithm clarifications and changes around L29
spec Related to specifications
ancazamfir announced Sep 5, 2024 in Announcements

4