Mizar daily Standup Report
Work on video demo for mizar
Finish video demo for mizar
Nope
Continue where we left off on grpc pair programming and worked on mizar and arktos integration
continue on mizar and arktos integration
no