Software Engineering KB

Tag: predicates

1 item with this tag.

  • Feb 10, 2026

    Types with Predicates

    • type-systems
    • refinement-types
    • predicates

Created with Quartz v4.5.2 © 2026

  • GitHub