GitHub repository: KRATEOfficial/KRATE.SPS
Created: 2019-05-31T23:13:45Z
Description: Sequenced Proof System library written in C# 7.2 targeting .Net Standard 2.0.