Report copyright - Embedding Languages into Lean 4 - Sebastian Ullrichlet ps = tables.leadingParsers ++ ps; longestMatchFn ps c s. Actual stdlib parsing 15 2020/02/02 Ullrich - Embedding Languages into
Please pass captcha verification before submit form