GitHub repository: nickcollins/dependent-dicts
Primary language: TeX
Created: 2019-12-19T21:47:22Z
Description: Paper exploring various dictionary implementations in proof assistants