3 commits

Author	SHA1	Message	Date
yiorgos marinellis	c9f6217e42	Implement batch view	2020-03-12 17:07:35 +01:00
yiorgos marinellis	ac8375c98f	Add view and schemas	2020-03-12 15:11:38 +01:00
Big Lebowski	994dce4349	Add base proof models	2020-03-12 00:40:41 +01:00