Skip to content
HOL-Light

Use 'raw' assembly in main source tree #86

Sign in to view logs

Use 'raw' assembly in main source tree

Use 'raw' assembly in main source tree #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
HOL Light proof for mlkem_ntt.S
43m 22s
HOL Light proof for mlkem_intt.S
1h 8m 50s
1h 52m 12s