max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/doc/examples
History
Leonardo de Moura 7ff42dd8e5 chore(doc/examples/compiler/test): simplify example
2019-02-06 17:23:16 -08:00
..
compiler chore(doc/examples/compiler/test): simplify example 2019-02-06 17:23:16 -08:00