hacklex/CuteCAS

Abstract Algebra for FStar

GitHub repository with 7 stars and 1 forks.

Language: F*

Open provider repository

Latest metric snapshot

2026-06-05: 7 stars and 1 forks.

Similar repositories

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.87; stars gained: +3; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

Trending in F*

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.87; stars gained: +3; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant