Math, Inc.
Todo el mundo
Usar herramienta
Math, Inc. розробляє Gauss — платформу для математичних доведень. Проект на стадії early access, запрошує користувачів протестувати функціонал і поділитися своїми ідеями того, що вони хочуть доводити за допомогою інструменту. Фокус на взаємодії з комьюніті та формуванні бачення продукту на основі реальних потреб користувачів.
Para quién
Математики, науковці та розробники, які працюють з формальними доведеннями та логічними системами. Тим, кому потрібен інструмент для верифікації математичних гіпотез та побудови строгих доведень. Ранні адопти, готові давати фідбек на замовлену платформу.