GitHub repository: konstantinosKokos/quill
Primary language: HTML
Description: Neural representations of Agda/DTT terms.