This is the home page of
Foundation FORMALIZED MATHEMATICS
(in Polish: Fundacja na rzecz Informatyki, Logiki i Matematyki)

Krochmalna street 3/917
00-864 Warsaw, Poland

Non-profit Organization

e-mail: formalized.mathematics@mizar.org
fax: +48 85 745.74.78

PL-Registers
Krajowy Rejestr Sądowy - nr KRS: 0000105680
Główny Urząd Statystyczny - nr REGON: 011527180
Urząd Skarbowy - nr NIP: 527-00-23-640

Bank account number: PL 03 1020 1156 0000 7902 0050 3342
BIC, SWIFT: BPKOPLPW
name of Bank: PKO Bank Polski s.a., Poland