opened pull request in FormalizedFormalLogic/Foundation

February 9th, 2026 4:14 PM

Created branch ll-fix-typo in FormalizedFormalLogic/Foundation

February 9th, 2026 4:11 PM

DeleteEvent on FormalizedFormalLogic/Foundation

February 9th, 2026 1:37 PM

Pushed to master at FormalizedFormalLogic/Foundation

February 9th, 2026 1:37 PM

merged pull request in FormalizedFormalLogic/Foundation

February 9th, 2026 1:37 PM

Pushed to ll at FormalizedFormalLogic/Foundation

February 9th, 2026 1:02 PM

Pushed to ll at FormalizedFormalLogic/Foundation

February 9th, 2026 12:58 PM

Pushed to ll at FormalizedFormalLogic/Foundation

February 9th, 2026 12:39 PM

Pushed to ll at FormalizedFormalLogic/Foundation

February 9th, 2026 9:11 AM

Pushed to ll at FormalizedFormalLogic/Foundation

February 9th, 2026 6:21 AM