Open maxhaslbeck opened 5 years ago
Task was stated by Simon Wimmer in Isabelle, and translated to Coq by Armaël Guéneau, to ACL2 by Sebastiaan Joosten.
The sample solution due to Simon Wimmer can be found here.
The sample solution due to Armaël Guéneau can be found here.
Task Authors and Translators
Task was stated by Simon Wimmer in Isabelle, and translated to Coq by Armaël Guéneau, to ACL2 by Sebastiaan Joosten.
The sample solution
In Isabelle
The sample solution due to Simon Wimmer can be found here.
In Coq
The sample solution due to Armaël Guéneau can be found here.