8000 Tags · robertylewis/lean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: robertylewis/lean

Tags

explicit_expr_ptr

Toggle explicit_expr_ptr's commit message 
refactor(kernel/expr): use level_ptr

0.1

Toggle 0.1's commit message 
fix(frontends/lean): convert paths to cygwin paths in a cygwin binary

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
0