Skip to content

Actions: SKolodynski/IsarMathLib

Actions

Style-Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
style-check.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

moved powz definition outside of group_int0 locale specification Style-Check #113: Commit 75495f5 pushed by SKolodynski
January 7, 2025 18:16 49s master
master
January 7, 2025 18:16 49s
modified tests to check for internal comma in macro expansion Style-Check #112: Commit 879918e pushed by SKolodynski
January 4, 2025 11:45 40s master
master
January 4, 2025 11:45 40s
integer power is a map from integers to endomorphisms of an abelian g… Style-Check #111: Commit 1e3bdc1 pushed by SKolodynski
January 2, 2025 18:59 40s master
master
January 2, 2025 18:59 40s
integer power commutes with group operation in abelian groups Style-Check #110: Commit fc46aa4 pushed by SKolodynski
January 2, 2025 16:27 39s master
master
January 2, 2025 16:27 39s
moved group homomorphism and End definitions to Group_ZF_2 Style-Check #109: Commit 6984e0d pushed by SKolodynski
December 31, 2024 17:17 38s master
master
December 31, 2024 17:17 38s
more properties of integer powers of group elements Style-Check #108: Commit ee27559 pushed by SKolodynski
December 28, 2024 10:08 39s master
master
December 28, 2024 10:08 39s
added rendering of zmagnitude and integer power Style-Check #107: Commit 9b68790 pushed by SKolodynski
December 26, 2024 10:50 39s master
master
December 26, 2024 10:50 39s
added IntGroup_ZF to theories parsed for isarmathlib.org Style-Check #106: Commit c6cdaa4 pushed by SKolodynski
December 25, 2024 19:10 41s master
master
December 25, 2024 19:10 41s
added integer powers of group elements Style-Check #105: Commit bd94751 pushed by SKolodynski
December 25, 2024 15:50 37s master
master
December 25, 2024 15:50 37s
added gif animation to readme Style-Check #104: Commit 2ae3d83 pushed by SKolodynski
December 18, 2024 13:12 40s master
master
December 18, 2024 13:12 40s
added power notation to group0 locale Style-Check #103: Commit 890fadc pushed by SKolodynski
October 23, 2024 18:54 40s master
master
October 23, 2024 18:54 40s
fixed # and $ rendering Style-Check #102: Commit 2252c60 pushed by SKolodynski
October 11, 2024 16:35 40s master
master
October 11, 2024 16:35 40s
started editing IntModule_ZF for isarmathlib.org Style-Check #101: Commit c9e5beb pushed by SKolodynski
September 29, 2024 17:00 41s master
master
September 29, 2024 17:00 41s
release 1.31.0 Style-Check #100: Commit 65b26be pushed by SKolodynski
July 26, 2024 18:00 41s master
master
July 26, 2024 18:00 41s
improvements in comments Style-Check #99: Commit 74ce652 pushed by SKolodynski
July 24, 2024 17:58 42s master
master
July 24, 2024 17:58 42s
metric spaces as uniform spaces Style-Check #98: Commit 9536d6d pushed by SKolodynski
July 23, 2024 18:41 43s master
master
July 23, 2024 18:41 43s
refactor with explicit metric topology definition Style-Check #97: Commit 46ed13e pushed by SKolodynski
July 14, 2024 13:39 38s master
master
July 14, 2024 13:39 38s
fundamental system of entourages in a pseudometric space Style-Check #96: Commit e324059 pushed by SKolodynski
July 10, 2024 18:34 49s master
master
July 10, 2024 18:34 49s
refactor around the definition of base of a uniformity Style-Check #95: Commit 71e7b9e pushed by SKolodynski
June 29, 2024 09:53 36s master
master
June 29, 2024 09:53 36s
uniform base condition Style-Check #94: Commit de8c1d8 pushed by SKolodynski
June 23, 2024 11:43 39s master
master
June 23, 2024 11:43 39s
added a section on base of a uniformity Style-Check #93: Commit 0334b70 pushed by SKolodynski
June 4, 2024 17:56 42s master
master
June 4, 2024 17:56 42s
release 1.30.0, added Module_ZF_1 and Module_ZF_2 to ROOT Style-Check #92: Commit 870c41a pushed by SKolodynski
May 26, 2024 17:26 40s master
master
May 26, 2024 17:26 40s
release 1.30.0 Style-Check #91: Commit ea33786 pushed by SKolodynski
May 26, 2024 15:48 43s master
master
May 26, 2024 15:48 43s
Merge pull request #36 from dan323/modules_2 Style-Check #90: Commit 089d279 pushed by SKolodynski
May 8, 2024 14:57 41s master
master
May 8, 2024 14:57 41s
More on modules Style-Check #89: Pull request #36 synchronize by dan323
May 7, 2024 16:10 43s dan323:modules_2
dan323:modules_2
May 7, 2024 16:10 43s