search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
371 stars 22 forks source link

remove .DS_Store #170

Closed favonia closed 1 year ago

favonia commented 1 year ago

Someone accidentally committed this file