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.

Official Website

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Metamath source file for logic and set theory