Skip to content

Top New Best Ask Show Jobs

jnash

90 karmaJoined February 11, 2022125 submissions

jnash | Better HN

Recent submissions

1

Abella: A System for Reasoning about Relational Specifications (2014) (opens in new tab)

(jfr.unibo.it)

1jnash3y ago0