search

Soonad / Moonad

An upcoming operating system built on Type-Theory
43 stars 5 forks source link

Gb/ecdsa #110

Closed gabriel-barrett closed 4 years ago

gabriel-barrett commented 4 years ago

ECDSA implementation in Formality. I've also added Integers and more Vector and Nat functions.