Andreas Stadelmeier stan
2 Followers · 2 Following
  • Joined on 2023-11-14
Repositories
12
 Projects Packages Public Activity Starred Repositories
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-19 21:15:56 +00:00
33b4710dac New Algorithm with Matrix input
stan pushed to master at stan/WLP2024 2024-06-18 16:45:37 +00:00
6ca45c06d3 Solution gen methods. Do not generate Generics
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-18 16:44:51 +00:00
cb99c79213 Start Implementation of the Algorithm described in the paper
stan pushed to master at stan/WLP2024 2024-06-15 13:36:21 +00:00
0a1644617a Add Substitution rule
stan pushed to master at stan/WLP2024 2024-06-13 15:07:11 +00:00
71ffb2c766 Var Rule Subtyping. Add Termination Theorem
stan pushed to master at stan/WLP2024 2024-06-12 12:37:40 +00:00
05260c286d Add Solution rules
stan pushed to master at stan/WLP2024 2024-06-11 22:31:41 +00:00
0678f96ef4 Add Split rules. Add Soundness, Completeness definitions
stan pushed to master at stan/WLP2024 2024-06-11 16:33:00 +00:00
837bed5752 Soundness
stan pushed to master at stan/WLP2024 2024-06-11 14:29:40 +00:00
255e3854ef Add Result rules
stan pushed to master at stan/WLP2024 2024-06-11 10:00:47 +00:00
5fc1972c41 Add Proof Environment
stan pushed to master at stan/WLP2024 2024-06-11 09:50:08 +00:00
d4040b2611 Add Subtyping rules
stan pushed to master at stan/WLP2024 2024-06-10 15:59:43 +00:00
5f549ae540 Rework Implementation rules. Add comments to Completeness
stan pushed to master at stan/WLP2024 2024-06-10 08:07:00 +00:00
4efda6cae2 Add Prolog
stan pushed to master at stan/WLP2024 2024-06-10 07:03:52 +00:00
2702bf6cab Start Implication Rules
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-10 06:57:10 +00:00
d82c4d3ebf First Workin Matrix Test
stan created branch master in stan/WLP2024 2024-06-08 11:50:29 +00:00
stan pushed to master at stan/WLP2024 2024-06-08 11:50:29 +00:00
4a2f3078e6 LLNCS template
stan created repository stan/WLP2024 2024-06-08 11:50:15 +00:00
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-07 09:16:51 +00:00
536fe9239e Fix
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-07 08:51:54 +00:00
2b7b17060a Implement Parser