Comrade Angles utilise witches.town. Vous pouvez læ suivre et interagir si vous possédez un compte quelque part dans le "fediverse".
There should be a skill tree in CoQ for deliberately cultivating fungus. :/
There should be a skill tree in CoQ for deliberately cultivating fungus. :/
@Angle I did not know that Coq the proof assistant was capable doing that...
Oh ok, that CoQ