search

avigad / lamr

Logic and Mechanized Reasoning
82 stars 20 forks source link

Fixes #1

Closed Vtec234 closed 3 years ago