Skip to content

Actions: livrelogique/pravda

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md
Deploy to Github Pages #10: Commit b59a93f pushed by francoisschwarzentruber
March 14, 2024 17:43 21s master
March 14, 2024 17:43 21s
Merge pull request #4 from Aznkad/master
Deploy to Github Pages #9: Commit 7532ef1 pushed by francoisschwarzentruber
March 14, 2024 15:53 15s master
March 14, 2024 15:53 15s
Update README.md
Deploy to Github Pages #8: Commit 010eaaf pushed by francoisschwarzentruber
February 20, 2024 18:41 15s master
February 20, 2024 18:41 15s
reorganization of the rules in natural deduction
Deploy to Github Pages #7: Commit cdc2f16 pushed by francoisschwarzentruber
October 25, 2023 08:35 25s master
October 25, 2023 08:35 25s
#1 solved: reorganization of the rules in natural deduction
Deploy to Github Pages #6: Commit e6a0c43 pushed by francoisschwarzentruber
October 25, 2023 08:32 23s master
October 25, 2023 08:32 23s