Revision 5b2fbf3c4989a9b0587a00578f69f3041df3f957 authored by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC, committed by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC
1 parent d4ca892
INFO.txt
This code was generated with the following toolchain.
F* version: a6369cecc0d4feb100c7ee5875de6dc59955fc18
KreMLin version: 4e863a78b7fdd017d0a7544128bffcf296b8cb8c
Vale version: 0.3.12
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...