Basic projection in place. Not running.
1 parent 90607e4 commit 7b08488c7cfaadde06533e3b5ddf0163abe4b965
Michal Prihoda authored on 11 Mar 2022
Showing 4 changed files
View
build.sbt
View
domain/proof/query/projection/src/ProofProjection.scala
View
server/src/main/resources/application.conf
View
server/src/main/scala/mdr/pdb/server/Main.scala