File | Mode | Size |
---|---|---|
basic.lean | -rw-r--r-- | 15.2 KB |
default.lean | -rw-r--r-- | 334 bytes |
html_cmd.lean | -rw-r--r-- | 1001 bytes |
interactive_expr.lean | -rw-r--r-- | 10.5 KB |
replace_save_info.lean | -rw-r--r-- | 463 bytes |
tactic_component.lean | -rw-r--r-- | 2.4 KB |