Skip to content

Fix universal closure over universe variables. #41

Fix universal closure over universe variables.

Fix universal closure over universe variables. #41

Annotations

1 error and 1 warning

nix  /  fstar-nix

failed Jan 7, 2025 in 11m 7s