Open maxhaslbeck opened 5 years ago
Task was stated by @maxhaslbeck in Isabelle, and translated to Coq by Armaël Guéneau, to Lean by Kevin Kappelmann and to ACL2 by Sebastiaan Joosten.
The solution is the triple (375, 200, 425).
The sample solution due to @maxhaslbeck can be found here.
The sample solution due to Armaël Guéneau can be found here.
Task Author and Translators
Task was stated by @maxhaslbeck in Isabelle, and translated to Coq by Armaël Guéneau, to Lean by Kevin Kappelmann and to ACL2 by Sebastiaan Joosten.
Sample solutions
The solution is the triple (375, 200, 425).
In Isabelle
The sample solution due to @maxhaslbeck can be found here.
In Coq
The sample solution due to Armaël Guéneau can be found here.