The Vermilion Experiment: Implementing a Lean Back End for Verusproofsandintuitions.net2 points·matt_d··0 commentsOpen articleSaveView on HN