Skip to content

@incremental-computing incremental-computing

Change the repository type filter

All

    Repositories list

    3 repositories

    • autoinc-lean

      Public
      Lean
      •
      MIT License
      •0•0•0•0•Updated Mar 16, 2026Mar 16, 2026

    • autoinc-rocq

      Public
      Rocq Prover
      •0•0•0•0•Updated Mar 11, 2026Mar 11, 2026

    • autoinc-scala

      Public
      MIT License
      •0•0•0•0•Updated Feb 6, 2026Feb 6, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.