Skip to content

@incremental-computing incremental-computing

All

    Repositories list

    4 repositories

    • autoinc-lean

      Public
      Lean
      •
      MIT License
      •1•4•0•0•Updated Aug 3, 2026Aug 3, 2026

    • better-quot

      Public
      Lean
      •
      MIT License
      •0•0•0•0•Updated Aug 3, 2026Aug 3, 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.