Skip to content

Activity

Showing most recent first

Rename things, more on integers

kaleidawavepushed 1 commit to integers • 2fdad1c…9332653 • 
on Jun 9

New integers using quotient types. Implemented addition and inequalit…

kaleidawavepushed 6 commits to integers • 380a2f6…2fdad1c • 
on May 28

WIP Root, Division, GCD, Modulo, Summation and Binomial

kaleidawavecreated number-theory • 285b299 • 
on May 28

Updates across Algebra, Naturals and Set

kaleidawavepushed 1 commit to main • d33ac05…e687f00 • 
on May 28

Remove integers from main

kaleidawavepushed 1 commit to main • 8057823…d33ac05 • 
on Dec 21, 2024

Integer stuff

kaleidawavecreated integers • 380a2f6 • 
on Nov 26, 2024

Macro with temp testing file

kaleidawavecreated groups_with_macro_and_more_algebra • 8099e69 • 
on Nov 26, 2024

Updates

kaleidawavepushed 1 commit to main • 321dd2c…8057823 • 
on Nov 26, 2024

Deleted branch

kaleidawavedeleted logic-and-more-set • 
on Nov 26, 2024

Merge pull request #2 from kaleidawave/logic-and-more-set

Pull request merge
kaleidawavepushed 4 commits to main • eb8d496…321dd2c • 
on Nov 26, 2024

Update CI

kaleidawavepushed 2 commits to logic-and-more-set • 241e1fe…325f187 • 
on Nov 26, 2024

Add 2nd DeMorgan law & set complement

kaleidawavecreated logic-and-more-set • 241e1fe • 
on Jul 25, 2024

Possible alternative group representation

kaleidawavecreated alternative-group-representation • 316fe5d • 
on Mar 3, 2024

Some more logic things (& fix CI)

kaleidawavepushed 1 commit to main • b2d9b67…eb8d496 • 
on Mar 3, 2024

Renaming and some other stuff

kaleidawavepushed 1 commit to main • bae8a8f…b2d9b67 • 
on Dec 29, 2023

Initial Commit

kaleidawavecreated main • bae8a8f • 
on Dec 20, 2023