heyting was born in amsterdam netherlands and died in lugano switzerland this version is still under active development seeing much industry use currently it doesn't have great history