PyDigger - unearthing stuff about Python


NameVersionSummarydate
pygments-rzk 0.1.3 Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories). 2023-07-10 21:57:31
Nikolai Kudasov
hourdayweektotal
4723669358269665
Elapsed time: 3.26826s