aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Setup Loogle so that we can search for theorems inside the Lean library developed for Aeneas

Open sonmarcho opened this issue 1 year ago • 0 comments

See the README in the Loogle repo: https://github.com/nomeata/loogle/tree/master

sonmarcho avatar Aug 20 '24 15:08 sonmarcho