Picture for Eric W. Smith

Eric W. Smith

Kestrel Institute

A Versatile, Sound Tool for Simplifying Definitions

Add code
May 03, 2017
Viaarxiv icon