search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Use proper font for Cogent in the doc #340

Open zilinc opened 4 years ago

zilinc commented 4 years ago

With 948032e8d1, we have a font set for cogent. Need to use it in my part of the docs.