The Sanskrit Reader Companion

Show Summary of Solutions

Input: vidyate hi giriśreṣṭhe tridaśānāṃ samāgamaḥ

Sentence: विद्यते हि गिरिश्रेष्ठे त्रिदशानाम् समागमः
may be analysed as:


Solution 35 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 43 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 51 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


Solution 59 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samāgamaḥ
[samāgama]{m. sg. nom.}
|⟩]


4 solutions kept among 64
Filtering efficiency: 95%

Additional candidate solutions

Solution 4 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 6 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 12 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 14 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 20 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 22 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 28 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 30 :
[ vit
[vid_3]{iic.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 33 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 34 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 36 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 38 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 41 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 42 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 44 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 46 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[giri]{iic.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 49 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 50 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 52 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 54 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 57 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 58 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{iic.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]


Solution 60 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
⟨⟩]
[ gamaḥ
[gama]{m. sg. nom.}
|⟩]


Solution 62 :
[ vit
[vid_3]{m. sg. nom. | n. sg. acc. | n. sg. nom. | f. sg. nom.}
t|ydy⟩]
[ yate
[yata { pp. }[yam]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ giri
[gir]{f. sg. loc.}
⟨⟩]
[ śreṣṭhe
[śreṣṭha]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ tri
[tri]{iic.}
⟨⟩]
[ daśānām
[daśā]{f. pl. g.}
[daśan]{* pl. g.}
⟨⟩]
[ samā
[samā]{f. sg. nom.}
[sama]{f. sg. nom.}
ā|āā⟩]
[ āgamaḥ
[āgama]{m. sg. nom.}
|⟩]




Le chameau Ocaml
Top | Index | Grammar | Sandhi | Reader | Corpus
© Gérard Huet 1994-2024
Logo Inria