#

tactics

Here are 4 public repositories matching this topic...

alhassy / gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!

tutorial exercise tactics agda macro proof-pattern

Updated May 25, 2022
Agda

jespercockx / ataca

A TACtic library for Agda

dependent-types metaprogramming tactics agda proof-search

Updated Sep 14, 2024
Agda

L-TChen / MtacAR

Mtac in Agda

reflection metaprogramming coq tactics monad agda

Updated May 4, 2021
Agda

pvdstel / Attic

An implementation of tactics in Agda

library proof-assistant tactics agda

Updated Sep 2, 2022
Agda

Improve this page

Add a description, image, and links to the tactics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tactics topic, visit your repo's landing page and select "manage topics."