GitHub repository: lean-dojo/LeanDojoWebsite
Primary language: JavaScript
Description: Code for LeanDojo's website