Mizar Company Profile

Aggregated data from the web about Mizar

Company Name	Mizar
Website	mizar.org
Snippet	A new open-access Mizar and MML survey paper published: The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.In J. Avigad et al. (Eds.), Special Issue: Milestones in Interactive Theorem Proving, Journal of Automated Reasoning 61(1-4), pp. 9-32, 2018 [BiBTeX file]
Country	portugal
Founded	2007.0
Website	mizar.pt
Industry	construction
linkedin	linkedin.com/company/mizar1994
size_range	1 - 10
display_url	mizar.pt
Headquarters	foz, faro, portugal
Number of employees	1

Have a list of company names and need to update information? Use our Company Search tool.

Please note that Powrbot Inc does not own this content and cannot vouch for its accuracy, we simply aggregate public information for ease of research.

Want to update this profile? Please contact us here with a link to the public source verifying the edit.