Skip to content

Blog fold_left

Natasha Klaus requested to merge blog-fold-left into master

how to handle fold_left in the proofs.

Edited by Natasha Klaus

Merge request reports