Skip to content

@prusti prusti

Change the repository type filter

All

    Repositories list

    4 repositories

    • pcg-docs

      Public
      Lean
      •0•1•0•0•Updated Apr 24, 2026Apr 24, 2026

    • pcg

      Public
      Rust
      •8•9•7•0•Updated Apr 23, 2026Apr 23, 2026

    • prusti-prerelease

      Public
      Rust
      •
      Other
      •0•0•0•0•Updated Jan 26, 2026Jan 26, 2026

    • pcg-mutation-testing

      Public
      Rust
      •1•1•0•0•Updated Dec 2, 2025Dec 2, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.