Skip to content
Jira sync

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean #353

Sign in to view logs

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean

RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean #353

Triggered via issue February 12, 2025 09:01
@KhaKha
closed #6997 3cf6fb2
Status Success
Total duration 14s
Artifacts –

jira.yml

on: issues
jira-sync
3s
jira-sync
Fit to window
Zoom out
Zoom in