Skip to content

Add reference implementation of prune_updates #435

Add reference implementation of prune_updates

Add reference implementation of prune_updates #435

check-lean-files

succeeded Nov 12, 2024 in 10s