lean4-htt/tests/pkg
Leonardo de Moura d9d893e425 chore: fix test
2022-07-24 18:07:54 -07:00
..
builtin_attr chore: fix tests 2022-07-02 10:37:22 +02:00
deriving chore: fix tests 2022-07-02 10:37:22 +02:00
prv chore: fix tests 2022-07-02 10:37:22 +02:00
user_attr chore: fix test 2022-07-24 18:07:54 -07:00
user_attr_app chore: fix tests 2022-07-02 10:37:22 +02:00
user_ext chore: fix tests 2022-07-02 10:37:22 +02:00
user_opt chore: fix tests 2022-07-02 10:37:22 +02:00
.gitignore