This website requires JavaScript.
Explore
Help
Register
Sign In
jlengrand
/
atrium
Watch
1
Star
0
Fork
0
You've already forked atrium
mirror of
https://github.com/jlengrand/atrium.git
synced
2026-03-10 08:01:19 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9dbe73ae6156df3198e1c488ec36aeb05b45c399
atrium
/
core
History
Robert Stoll
9dbe73ae61
adjust TODO replace SubjectProvider, keep it, we will add ProofContainer
2021-03-30 13:57:56 +02:00
..
api
adjust TODO replace SubjectProvider, keep it, we will add ProofContainer
2021-03-30 13:57:56 +02:00
robstoll
move TODOs to 0.17.0 which we no longer plan for 0.16.0
2021-03-16 22:03:30 +01:00
robstoll-lib
move MetaFeature to logic and MetaFeatureOption to APIs
2021-03-21 22:45:03 +01:00
