0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 24, 2022

#8 in #flattening

Apache-2.0

42KB
913 lines


Formal specification flattening tool

Dependencies

~27–40MB
~619K SLoC