DISCOVERY Repository discovered
zmanian/quint-crosslink
Quint formal models for Zcash Crosslink: TFL book / crosslink_monolith alignment, findings, and conformance witnesses
Radar summary of the original source
Quint CrosslinkFrom zmanian/quint-crosslink
A discovered repository—not a verified live service.
Radar found this repository through its Zcash discovery query. That is not an endorsement and does not prove that a public product or service is live.
- Status
- Repository discovered
- Source
- zmanian/quint-crosslink
- Source activity
- Confidence
- Discovery still being checked
PART OF
Quint Crosslink
Quint Crosslink was found through public GitHub sources and is tracked from its original links.
Radar summary of the original source
OtherDiscovery still being checked
Explore the full profile SAME TRACKED PROJECT
0 more recordsRelated activity
No additional source-linked activity is connected to this profile yet.