All issues

Refactor the definition of VLSM inclusions, VLSM equality, etc.

Proof Engineering

#385

· wkolowski opened

on Dec 21, 2023

List of possible future tasks

#383

· wkolowski opened

on Dec 19, 2023

Use constrained concepts across the codebase

good first issue

Proof Engineering

#382

· wkolowski opened

on Dec 19, 2023

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` (Phase II)

good first issue

Proof Engineering

#40

· traiansf opened

on May 3, 2022

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` in module `ListExtras`

good first issue

Proof Engineering

#39

· traiansf opened

on May 3, 2022

Replace `Lib.ListExtras.last_error` with `stdpp.list.last`

good first issue

Proof Engineering

#38

· traiansf opened

on May 3, 2022

Make indentation consistent across the project

Proof Engineering

#11

· traiansf opened

on Feb 9, 2022