Agda
Last updated
, generated by Sumble
Explore more → **Agda**
What is Agda?
Agda is a dependently typed programming language and proof assistant. It's based on Martin-Löf type theory. Agda is primarily used for developing formally verified software, proving mathematical theorems, and exploring type theory itself. Its powerful type system allows programmers to express complex properties of their programs within the type system, and the compiler can then verify these properties, leading to programs that are provably correct.
What other technologies are related to Agda?
Agda Competitor Technologies
Agda Complementary Technologies
Number of organizations that mention technology
ⓘ Tap on a tech to explore matching organizations
Which job functions commonly mention Agda?
Payroll
61 Payroll jobs mention Agda
View 61
jobs on Sumble
AI Engineer
10 AI Engineer jobs mention Agda
View 10
jobs on Sumble
Accountant
66 Accountant jobs mention Agda
View 66
jobs on Sumble
Finance
67 Finance jobs mention Agda
View 67
jobs on Sumble
Engineer
78 Engineer jobs mention Agda
View 78
jobs on Sumble
Which organizations are mentioning Agda?
Summary powered by 
Sumble
Sumble Find the right accounts, contact, message, and time to sell
Whether you're looking to get your foot in the door, find the right person to talk to, or close the deal — accurate, detailed, trustworthy, and timely information about the organization you're selling to is invaluable.
Use Sumble to: