Search for keywords, #hashtags, $sites, add a dash to exclude, e.g. -$theonion.com
From isa-afp.org
0 0
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
on Aug 4