1 search result for "author:"Marcin Wojnarowski""

Showing 1 - 1
  1. strict-order-solver

    No documentation

    Complete solver for strict orders (transitive+irreflexive relations) for Rocq
    Kacper Korban Dario Halilovic Marcin Wojnarowski
    1.0.0
    MIT
    Used by 0 other packages
    13 May 2026