Skip to content

feat: monadic defs for statically sized vectors#925

Closed
Shreyas4991 wants to merge 9 commits intoleanprover-community:mainfrom Shreyas4991:vector_monadic_defs
+275

Commits

Commits on Aug 17, 2024

Commits on Aug 18, 2024

Commits on Oct 29, 2024

Commits on Nov 3, 2024