You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Matvey Lorkish 045b1ea3fb Merge pull request #261 from leanprover-community/stats ... feat: improved stat logging		2 years ago
..
bubblewrap.sh	add comment	3 years ago
import.mjs	separate lean server from socket server	3 years ago
index.mjs	Specify that logs should be created relative to the current working directory.	2 years ago
stats.sh	Refactored stats.sh to display approx. cpu usage and mem usage in .csv format	2 years ago
unpack.sh	fix: remove tmp files after import	2 years ago