Aleksander Wolska

icon location Delft, Netherlands icon location TU Delft Computer Science student.

Results 1 issues of Aleksander Wolska

Draft: IsLawfulOrd proofs

Work in progress. - proofs for iLawfulOrd Nat - in progress proof for iLawfulOrd Intreger