Skip to content

pvdstel/Attic

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
.vscode
.vscode
 
 
scripts
scripts
 
 
src/Attic
src/Attic
 
 
test
test
 
 
.gitignore
.gitignore
 
 
LICENSE.txt
LICENSE.txt
 
 
README.md
README.md
 
 
attic.agda-lib
attic.agda-lib
 
 
load-all.ps1
load-all.ps1
 
 

Repository files navigation

Attic

An implementation of tactics in Agda.

About

An implementation of tactics in Agda

Topics

library proof-assistant tactics agda

Resources

Readme

License

MPL-2.0 license
Activity

Stars

4 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages