Search results

umpire

A logical framework

• logic
• static
• type
• checking
• theory
• parser
• equational

benng

published 0.0.1 • 10 years agopublished 0.0.1 10 years ago