hacklex/CuteCAS hacklex/CuteCAS

  • Stars
    star
    7
  • Rank 2,294,385 (Top 46 %)
  • Language F*
  • Created over 3 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hacklex/CuteCAS
github

hacklex

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Abstract Algebra for FStar

More Repositories

1

kohctpyktop

A famous game remake for WPF
C#
23
star
2

AbstractMathTypes

Most basic abstract algebra types
F#
10
star
3

PekaCity

2D game stub rendered completely in WPF
C#
3
star
4

FiniteGroupCalc

Simple Finite Group Processing Framework
C#
1
star