Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add proof type #245
Add proof type #245
Changes from 76 commits
1853d5a
a7f129e
587d080
b936af9
ef86b26
d0b6455
98415a8
e0f07ad
27e611f
cc04eef
aef8b1f
4996045
bdc5cf9
b4c9b15
7a8a46a
a15e9f9
576f50d
493e43f
cab84be
248b1bd
e9e9ae0
15d24ba
16a5577
1a41d0c
c55748f
a76a93e
99c4d6c
b01b76b
7865fb0
dd13ef6
609627c
09e109b
93114cb
de7e7e6
2df8976
d963f8f
77cb0f1
266b939
b2b00ba
1302cec
355e5ac
513b82c
54a3f00
48f4960
389a661
943de64
e1e2690
03b2e46
00d778a
3f8304f
2d9a4e3
566e1a4
d26017b
05fd23e
705f5f5
b55f37b
0980a2a
bb80056
83f7cfe
8e25cef
35c3b79
71873b2
747b211
dd2b70a
88e62d6
84d4adc
a7f90c0
e2873c4
ad9c5b8
5958211
5163736
c983f14
4c987de
50aca99
fecb5a9
09842be
692bba2
a11eb34
18fc554
7e5d801
373c55b
8dc5d19
a3f668f
bff164c
0832ad4
c4e575b
230050d
411b8ad
728cb06
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.