|
|
34c52fdf8c
|
Fix #32
|
2025-07-10 12:25:27 -06:00 |
|
|
|
0c38415d66
|
Fix #9
|
2025-06-23 14:03:48 -06:00 |
|
|
|
54c1b82f8e
|
Fix #8
|
2025-06-23 14:01:37 -06:00 |
|
|
|
43de28834c
|
Fix #7
|
2025-06-23 13:58:04 -06:00 |
|
|
|
6ec860fed1
|
Fix #6
|
2025-06-23 13:51:39 -06:00 |
|
|
|
2cd5f6e702
|
Fix #5
|
2025-06-23 13:48:18 -06:00 |
|
|
|
65d784163e
|
Fix #5
|
2025-06-23 13:48:02 -06:00 |
|
|
|
691fc05f9a
|
Fix #4
|
2025-06-23 13:45:09 -06:00 |
|
|
|
67276e8e46
|
Add model checkers. Close #2
|
2025-06-23 13:44:10 -06:00 |
|
|
|
2545c47377
|
Resolve #27
|
2025-06-23 12:49:01 -06:00 |
|
|
|
16ca5a7b04
|
Merge branch 'main' of https://gitmoss.fyi/fmtools/content
|
2025-06-13 16:47:08 -06:00 |
|
|
|
a591cca1cd
|
partial work toward #2
|
2025-06-13 16:46:24 -06:00 |
|
|
|
3956933ba8
|
Update .gitea/issue_template/add_tool.md
|
2025-06-13 21:32:55 +00:00 |
|
|
|
b6cc09e6e1
|
add dates
|
2025-06-13 15:13:55 -06:00 |
|
|
|
d29e2086dd
|
Add More Tools
|
2025-06-13 15:05:11 -06:00 |
|
|
|
cee940b083
|
Add E Theorem Prover for #1
|
2025-06-13 14:50:27 -06:00 |
|
|
|
6af9acff12
|
add alt-ergo. Closes #1
|
2025-06-13 14:28:33 -06:00 |
|
|
|
224a339a38
|
Add some tools and categories
|
2025-06-13 13:09:14 -06:00 |
|
|
|
ef7e26d248
|
Add git links
|
2025-06-12 15:31:37 -06:00 |
|
|
|
51367f7178
|
Add Issue Templates
|
2025-06-12 15:25:10 -06:00 |
|
|
|
589a55d8cd
|
Wrap up SAT/SMT
|
2025-06-12 15:13:07 -06:00 |
|
|
|
cf41adb1f5
|
Update privacy policy
|
2025-06-12 14:00:35 -06:00 |
|
|
|
5c5710ca6a
|
add tools
|
2025-06-10 14:13:34 -06:00 |
|
|
|
a454011c40
|
add solvers
|
2025-06-09 11:45:37 -06:00 |
|
|
|
388d5fb8f9
|
test updates
|
2025-06-06 18:46:27 -06:00 |
|
|
|
ef3224c280
|
add more test content
|
2025-06-06 18:05:37 -06:00 |
|
|
|
7ee9f4c961
|
minor changes
|
2025-06-06 17:10:10 -06:00 |
|
|
|
47a236c035
|
sample content
|
2025-06-05 21:51:48 -06:00 |
|
|
|
8d9453a60b
|
Initial commit
|
2025-05-30 23:50:58 +00:00 |
|
