Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Phame
Blogs
Isabelle NEWS
J36
High-quality blackboard-bold symbols
Document preparation
High-quality blackboard-bold symbols from font
txmia
(package
txfonts
), for A..Z.
This refers to Isabelle/
b138cdd22cfb
.
Previous Post
Remote provers from SystemOnTPTP via Isabelle/Scala
Next Post
System options short form (e.g. "-o document")
Written by
makarius
on Mar 21 2021, 11:58 PM.
User
Projects
None
Subscribers
None
Event Timeline