search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
40 stars 15 forks source link

fix: Make Docker install `mathlibtools` #256

Closed YaelDillies closed 10 months ago

YaelDillies commented 10 months ago

The dockerfile annoyingly did not come with leanproject and company. This fixes it.