I am able to export an STL file of a combination of cuboids (Menger sponge).
But when I do
yyy = Graphics3D[Tetrahedron[{{0, 0, 0}, {1/2, Sqrt[3]/2, 0},
{1, 0, 0}, {1/2, Sqrt[3]/4, 3/4}}], Axes -> True]
Export["yyy.stl", yyy]
I get
Export::nodta: Graphics3D contains no data that can be exported to the STL format. >>
Is there a way of exporting terahedrons to STL