some proofs
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Fri, 8 Apr 2016 12:22:03 +0000 (14:22 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Fri, 8 Apr 2016 12:22:03 +0000 (14:22 +0200)
commit97de0c14815c8b9c585eca0ace966b05d1b858c8
tree8dbcb03d76bc43de79fb03d752d0d96bb3928a80
parenta46458a55eedd3bd1b159246a1fd5662da162600
some proofs
examples/torsor.ctt