slow proof
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Fri, 8 Apr 2016 11:35:53 +0000 (13:35 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Fri, 8 Apr 2016 11:35:53 +0000 (13:35 +0200)
commita46458a55eedd3bd1b159246a1fd5662da162600
tree53a337943d887529d68d90bb3cada1e06a4610f8
parent8cff3760371dc10667f8db738889972a52330a74
slow proof
examples/torsor0.ctt [new file with mode: 0644]