docs(readme): drop unbacked "formally verified / safety-critical" footer (#549) - #585
Open
avrabe wants to merge 1 commit into
Open
docs(readme): drop unbacked "formally verified / safety-critical" footer (#549)#585avrabe wants to merge 1 commit into
avrabe wants to merge 1 commit into