The goal of this project is to implement the Method of Analytic Tableaux to determine if a given Propositional Logic proposition is either a tautology, a contradiction, or a contingency.
active 2024-09-19 → 2025-01-29 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 133 days from 2024-09-19 to 2025-01-29. Pushes: 51 total, peak 12 in a day. Pull requests: 23 total, peak 8 in a day. Issues: 0 total, peak 0 in a day. Comments: 1 total, peak 1 in a day. Stars: 3 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| hendrixgg | 49 | 40 | 8 | 1 |
| xbendan | 25 | 10 | 15 | 0 |
| Supercobra27 | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#12xbendan2024-12-05 05:00
- Pull request#12xbendan2024-12-05 05:00
- Pull request#11hendrixgg2024-11-29 16:31
- Pull request#11hendrixgg2024-11-29 15:59
- Pull request#10xbendan2024-11-16 22:02
- Pull request#10xbendan2024-11-16 22:02
- Pull request#9xbendan2024-11-16 09:01
- Pull request#9xbendan2024-11-16 09:01
- Pull request#8xbendan2024-10-26 19:48
- Pull request#8xbendan2024-10-26 19:48
- Pull request#7xbendan2024-10-26 19:13
- Pull request#7xbendan2024-10-26 19:12
- Pull request#6xbendan2024-10-26 01:07
- Pull request#6xbendan2024-10-26 01:07
- Pull request#5xbendan2024-10-26 01:06
- Pull request#5xbendan2024-10-26 01:05
- Pull request#4hendrixgg2024-10-25 21:36
- Pull request#4hendrixgg2024-10-25 21:36
- Pull request#3xbendan2024-10-24 15:12
- Pull request#2hendrixgg2024-10-20 17:20
- Issue comment#2hendrixgg2024-10-20 17:20New tests and fixed module naming
- Pull request#2hendrixgg2024-10-20 17:19
- Pull request#1hendrixgg2024-10-19 21:32
- Pull request#1hendrixgg2024-10-19 21:32
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.