Table:
text: List of interactive geometry software
General features
General features
Software Calculations Macros Loci Animations Multilingual Proofs
GEUP Yes Yes Yes Yes Yes No
iGeom Yes Yes Yes No Yes Probabilist
Kig Yes Yes Yes No Yes No
Live Geometry Yes Yes Yes Yes No No
Sketchpad Yes Yes Yes Yes Yes No
Tabula Yes Yes Yes Yes No No
Tabulae Yes Yes Yes No Yes No
Cabri 3D Yes No No Yes Yes No
Archimedes Geo3D Yes Yes Yes Yes No (Eng De Fr) No
GEUP 3D Yes No Yes No Yes No
Software Calculations Macros Loci Animations Multilingual Proofs

Question: In the list of interactive geometry software, are there macros in Tabula software?

Question: Which interactive geometry software has proofs in the tabulae?