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
hourdayweektotal
37254510579254251
Elapsed time: 1.88453s