3 Commits

Author	SHA1	Message	Date
Mark Spanbroek	be38c54622	[style] enforce `_` prefix for private names ... Co-authored-by: Eric Mastro <eric.mastro@gmail.com>	2023-01-23 15:10:23 +01:00
Mark Spanbroek	b3855c4ba3	[style] Use _ for private and internal functions ... Co-authored-by: Eric Mastro <eric.mastro@gmail.com>	2023-01-23 15:10:23 +01:00
Mark Spanbroek	ad155be5a1	[Proofs] Extract period related types and function	2023-01-11 10:32:58 +01:00