GitHub repository: pauladam94/curryst
Primary language: Typst
Created: 2024-02-14T17:02:53Z
Description: Typst Package to typeset inference rule