Skip to content

About

No description, website, or topics provided.

Resources

Stars

1 star

Watchers

2 watching

Forks

Repository files navigation

Gallery of examples verified with Creusot

Simple Creusot examples

In creusot-examples

Team The Steelmakers (Jacques-Henri Jourdan, Li-yao Xia) won Best Overall Team award!

In verify-this-2026.

In verify-this-2025. Solutions written as a warm up to the 2026 edition.

About

No description, website, or topics provided.

Resources

Stars

1 star

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages