Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 226 Bytes

File metadata and controls

6 lines (4 loc) · 226 Bytes

solutions-to-SGL

A student's attempt for a partial solution to the exercise of textbook Sheaves in Geometry and Logic.

Sheaves in Geometry and Logic solution (partial)

Working towards a solution manual to the whole book.