Isabelle2016 released – Generic proof assistantisabelle.in.tum.de1 point·sternenseemann··0 commentsOpen articleSaveView on HN