lean4-nightly icon indicating copy to clipboard operation
lean4-nightly copied to clipboard

verified publisher icon leanprover
→

Metadata

Nightly builds

lean4-nightly

Nightly builds

← Metadata

22
Stars
2
Forks
Watchers

Owner

verified publisher icon leanprover

Metadata

Nightly builds

Back