Alexander Bentkamp 6bced7575b update lean4web dependency

2023-12-01 11:32:17 +01:00

..

public

change to vite

2023-11-08 09:30:59 +01:00

src

update lean4web dependency

2023-12-01 11:32:17 +01:00