search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

[minor] Add prime checking, xor operator #258

Closed tnelson closed 7 months ago

tnelson commented 7 months ago

(Hoping to get Electrod into this build, hence delay.)

tnelson commented 7 months ago

Not waiting, let's merge in 3.5.