Chcielibyśmy podkreślić Hierophant, naszą implementację oprogramowania typu Free Software, która jest zgodna z siecią provers SP1.
1,11K