Free Online
Agda Courses and Certifications
Master dependently typed programming and formal verification using Agda's powerful proof assistant capabilities. Explore type theory, functional programming, and mathematical proofs through conference talks and tutorials on YouTube from ACM SIGPLAN, GOTO, and leading researchers in programming language theory.
More in Programming Languages
- Javascript
- Python
- Java
- C#
- C++
- PHP
- R Programming
- Ruby
- Domain-Specific Languages (DSL)
- Rust
- Typescript
- C Programming
- Go
- Swift
- Kotlin
- Julia
- Assembly Language
- Wolfram Language
- Scala
- Elixir
- MATLAB
- Hardware Description Languages (HDL)
- Dart
- Garbage Collection
- Erlang
- Haskell
- Scratch
- APL
- Lua
- Clojure
- Bicep
- Visual Basic
- F#
- COBOL
- XAML
- QML
- Objective C
- ABAP
- Elm
- Lisp
- Perl
- Fortran
- GDScript
- OCaml
- Gleam
- NetLogo
- Apache Groovy
- Prolog
- Crystal
- XSLT
- Ada
- Zig
- Delphi
- TCL
- VBScript
- Rexx
- Nim
- D Programming
- XQuery
- ReasonML
- ColdFusion
- AdvPL
- Dafny
Showing 2 courses
Filter by
Filters
-
-
Level
-
Duration
-
Language
