[ANN] Looking for volunteers for an Ada funding committee

[Heziode]

@AdaOrbit To not flood this topic, I created a dedicated topic: Discussions about SPARK Math implementation (integer and fixed-point operations)