GitHub repository: monteiroliveira/pinkc
Created: 2024-03-28T19:13:12Z
Description: Blockchain written in go using formal methods.