SIGERIS SARL

Beginning in my early years of software development, I was interested in the way formal math shared similarities with writing code. In math, we learned about the concept of proofs, and how, starting from a set of axioms and definitions, one could logically construct true statements to prove a conjecture. Once proven, a conjecture becomes a theorem, and then it’s possible to use this theorem to prove other conjectures.

Writing Code like a Mathematical Proof

Software Development

IT Services

Web development

SIGERIS SARL is specialized in the development and deployment of IT solutio...

SIGERIS SARL

https://sigeris.cm/

2-10 emps

Since 2016

SIGERIS SARL's stories on HackerNoon

Writing Code like a Mathematical Proof

Representing this company? Click here to claim and customize this page!

Reviews About SIGERIS SARL

SIGERIS SARL WIKI

Apply to get your Tech Company News Page live on HackerNoon.com today!

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps