Mathematician:Grzegorz Bancerek

Mathematician

Polish mathematician who was one of the founders of the Mizar project.

For a short time before his passing, Bancerek was a tireless contributor towards sharing the work held on Mizar with $\mathsf{Pr} \infty \mathsf{fWiki}$.

Nationality

Polish

History

• Born: 29 August 1966
• Died: 18 November 2017

Theorems and Inventions

• Mizar project

Publications

• 1990: Mizar as the metalanguage for ZF set theory
• 1997: Some uniform algebraic approach to proofs of propositional calculus of intuitionistic logic and fragments of linear logic and corresponding categories