Starred repositories
6
results
for source starred repositories
written in HTML
Clear filter
Fluent System Icons are a collection of familiar, friendly and modern icons from Microsoft.
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant