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.

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