Antonio De Lucreziis
|
400ea1ab85
|
updated devcontainer default open files
|
11 months ago |
Antonio De Lucreziis
|
21d7d48b91
|
merged mathlib support
|
11 months ago |
Antonio De Lucreziis
|
98733eaae8
|
updated readme to tell about mathlib support
|
11 months ago |
Antonio De Lucreziis
|
e2c66fffca
|
mathlib support experiment
|
11 months ago |
Antonio De Lucreziis
|
611e6bc751
|
updated the readme
|
11 months ago |
Antonio De Lucreziis
|
b77d0c7aec
|
updated the readme
|
11 months ago |
Antonio De Lucreziis
|
707e708805
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
b81615c993
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
71d01c8d06
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
b08be92fda
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
92d7e249ac
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
aee2b8ccb4
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
5cdb97c465
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
ee142c7d63
|
updated readme
|
11 months ago |
Antonio De Lucreziis
|
baf5073b42
|
updated the readme
|
11 months ago |
Antonio De Lucreziis
|
ec88f8065b
|
ehm fix
|
11 months ago |
Antonio De Lucreziis
|
4726885732
|
updated codespace link
|
11 months ago |
Antonio De Lucreziis
|
0296bb851a
|
simplified an example
|
11 months ago |
Antonio De Lucreziis
|
d210579028
|
initial commit
|
11 months ago |