Skip to content

First version of external core models.#2020

Draft
maximebuyse wants to merge 3 commits into
mainfrom
external-core-models
Draft

First version of external core models.#2020
maximebuyse wants to merge 3 commits into
mainfrom
external-core-models

Fix F* lib with external core models.

1d9a06a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
clippy
succeeded Apr 28, 2026 in 1m 3s