max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
30513 commits 1 branch 0 tags 5.3 GiB
Commit graph

2 commits

Author SHA1 Message Date
Gabriel Ebner
a67a5080e9 chore: fix tests after hash change 2022-12-01 20:18:14 -08:00
E.W.Ayers
18a3d1a34e fix: widgets are now defined using a UserWidgetDefinition 
To satisfy https://github.com/leanprover/lean4/pull/1238#discussion_r908839474
 2022-07-25 08:01:27 -07:00