Skip to content

Merge remote-tracking branch 'origin/develop' into lean-list-sort

a8c8c52
Select commit
Loading
Failed to load commit list.
Merged

Add uninterpreted List implementation to Prelude.lean #4740

Merge remote-tracking branch 'origin/develop' into lean-list-sort
a8c8c52
Select commit
Loading
Failed to load commit list.