HHU Adam Project

Organization

@hhu-adam

ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.

Germany hhu-adam.github.io/ On GitHub since October 2022

Published Tools

Total Stars

Weekly Downloads

GitHub Followers

Public Repos

Published Tools

1 Skillacross 1 category

joneugster

Monaco Editor support for the Lean 4 theorem prover.

SkillAI Tool

141 dir