Pinned Loading

1. Lean-Tnorms Lean-Tnorms Public

   Lean code for verifying the results of my paper on T-norms

   Lean

2. psis-and-kostka-numbers psis-and-kostka-numbers Public

   Code for working with kostka numbers and principal symmetric ideals

   Python

3. SymmetricIdeals SymmetricIdeals Public

   Lean code for formalizing the results of a paper I co-authored on principal symmetric ideals.

   Lean

4. KostkaNumbers KostkaNumbers Public

   Lean formalization of some properties of Kostka numbers

   Lean

5. Automata Automata Public

   Python programs related to various topics in Automata theory

   Python

6. TicTacToeApp TicTacToeApp Public

   Java