2019-03-25 8:14:32 (GMT)
Hi,
Christoph asked me to write a paragraph about Zipperposition for the MPI evaluation report, since I am now involved in its development. As contributors, I have listed Simon, Alex, Petar and me. Have I missed anyone?
2019-03-25 13:57:37 (GMT)
Not recently, I think that's all. There's been an intern working on it a long time ago but we didn't end up merging the code :/
In the context of MPI it seems complete to me.
2019-03-25 14:36:18 (GMT)
Ah there's a bit of work by Raphaël Cauderlier, on the dedukti parser.
2019-03-25 14:37:3 (GMT)
Should I include him?