Achim D. Brucker adbrucker
1 Followers · 1 Following
Repositories
20
 Projects Packages Public Activity Starred Repositories
adbrucker merged pull request BiologicalAI/YAWNING-TITAN_Neuron-Edition#1 2026-09-28 20:06:01 +00:00
Added upgraded YT version, also included neuron specific blue action set and reward function to this. tested and works. Added requirements to NeuronServer.
adbrucker pushed to main at BiologicalAI/YAWNING-TITAN_Neuron-Edition 2026-09-28 20:06:01 +00:00
a1ff0e2b52 Merge pull request 'Added upgraded YT version, also included neuron specific blue action set and reward function to this. tested and works. Added requirements to NeuronServer.' (#1) from ww414/YAWNING-TITAN_Neuron-Edition:main into main
eb139c5a58 Added upgraded YT version, also included neuron specific blue action set and reward function to this. tested and works. Added requirements to NeuronServer.
Compare 2 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-09-08 06:55:21 +00:00
1cfa52b1b0 Fixed corrupted ROOT file.
81bf5d3f7d Merge branch 'main' of git.logicalhacking.com:adbrucker/isabelle_lex-yacc
56832ba07f Integrated changes from AFP hg repo:
Compare 3 commits »
adbrucker pushed to 2026_vetss-summer-school at adbrucker/isabelle-tutorial 2026-08-04 08:01:23 +00:00
c1a0dda3ab Initial commit.
adbrucker pushed to 2026_vetss-summer-school at adbrucker/isabelle-tutorial 2026-08-04 08:00:29 +00:00
edc4c75870 Initial commit.
adbrucker pushed to 2026_vetss-summer-school at adbrucker/isabelle-tutorial 2026-08-04 07:58:14 +00:00
9ba75286cd Fixing bug
e11de0534c Fixing bug
Compare 2 commits »
adbrucker pushed to 2026_vetss-summer-school at adbrucker/isabelle-tutorial 2026-08-04 06:53:24 +00:00
d0bf0607e1 Tuned.
aabe37ff92 Initial commit.
a3db811b60 Initial commit.
Compare 3 commits »
adbrucker created branch 2026_vetss-summer-school in adbrucker/isabelle-tutorial 2026-07-29 10:54:16 +00:00
adbrucker pushed to 2026_vetss-summer-school at adbrucker/isabelle-tutorial 2026-07-29 10:54:16 +00:00
adbrucker created branch main in adbrucker/isabelle-tutorial 2026-07-29 10:45:46 +00:00
adbrucker pushed to main at adbrucker/isabelle-tutorial 2026-07-29 10:45:46 +00:00
5f7aa8382f Initial commit: instructions for installing Isabelle 2025-2.
adbrucker renamed repository from 2026_vetss-summerschool_isabelle-tutorial to adbrucker/isabelle-tutorial 2026-07-29 09:58:30 +00:00
adbrucker created repository adbrucker/isabelle-tutorial 2026-07-29 08:09:47 +00:00
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-22 07:19:04 +00:00
a69caf7b48 Fixed typo.
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-22 07:18:11 +00:00
84f8ce0b93 Added a few tests/example evaluations.
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-22 06:22:01 +00:00
50f762713b Proved schoof_trace_exec_correct.
09277917c1 Tuning invariant proof.
Compare 2 commits »
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-21 08:35:02 +00:00
38fe998dea Fixed LaTeX section hierarchy.
4cfa80239e Fixed LaTeX generation and included code genration in session.
7d444c7296 Tuned code generation.
c89835e8b9 Tuned code generation.
Compare 4 commits »
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-20 13:09:56 +00:00
2426e5a9a1 Added brief description.
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-20 13:07:50 +00:00
4d835d04de Added installation information.
adbrucker pushed to main at adbrucker/Schoof_Algorithm 2026-07-20 12:57:53 +00:00
65181f0953 Added license information.